dépôts
/
lhc
/
ateliers.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
| inline |
side by side
Ajout : vm_remote : rule_mosh .
[lhc/ateliers.git]
/
vm_remote
diff --git
a/vm_remote
b/vm_remote
index
20dc746
..
8fe0561
100755
(executable)
--- a/
vm_remote
+++ b/
vm_remote
@@
-42,6
+42,9
@@
rule_git_push () { # SYNTAX: {host|hosted} $git_push_options
rule_ssh () {
"$tool"/vm_ssh $vm_fqdn "$@"
}
+rule_mosh () {
+ mosh --ssh="$tool/vm_ssh $*" $vm_fqdn
+ }
rule__ssh_known_hosts_update () {
rule ssh \
-o StrictHostKeyChecking=no \