mosh: use ssh from nixpkgs

2017-01-28 13:21:24 -05:00
parent 781c79182e
commit ad6b79fc97
2 changed files with 20 additions and 1 deletions
--- a/pkgs/tools/networking/mosh/ssh_path.patch
+++ b/pkgs/tools/networking/mosh/ssh_path.patch
@@ -0,0 +1,13 @@
+diff --git i/scripts/mosh.pl w/scripts/mosh.pl
+index c511482..55bf5f3 100755
+--- i/scripts/mosh.pl
+++ w/scripts/mosh.pl
+@@ -66,7 +66,7 @@ my $use_remote_ip = 'proxy';
+ my $family = 'prefer-inet';
+ my $port_request = undef;
+ 
+-my @ssh = ('ssh');
+my @ssh = ('@ssh@');
+ 
+ my $term_init = 1;
+