add new option to README

zauberzeug · Jan 1, 2024 · a0f7429 · a0f7429
1 parent 2bc5097
commit a0f7429
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/.vscode/settings.json b/.vscode/settings.json
@@ -17,7 +17,7 @@
   "[python]": {
     "editor.defaultFormatter": "ms-python.autopep8",
     "editor.codeActionsOnSave": {
-      "source.organizeImports": true
+      "source.organizeImports": "explicit"
     }
   }
 }
diff --git a/README.md b/README.md
@@ -46,6 +46,8 @@ Options:
   command to be executed on remote host after any file change (default: None)
 - `--mutex-interval MUTEX_INTERVAL`
   interval in which mutex is updated (default: 10 seconds)
+- `--ignore-mutex`
+  ignore mutex (use with caution) (default: False)
 
 ### Python