fixes

2026-07-10 16:45:41 +02:00
parent d2539a75e7
commit 6bc129ca70
3 changed files with 7 additions and 2 deletions
@@ -1,5 +1,10 @@
 #!/usr/bin/bash

+usage() {
+  echo "Usage: $(basename $0) [-d] <host>" >&2
+  echo "  -d    Remove host key from known_hosts before connecting" >&2
+}
+
 DEL=""

 deletehost() {