]> gitweb.fluxo.info Git - scripts.git/commitdiff
Removing old shell aliases
authorSilvio Rhatto <rhatto@riseup.net>
Sun, 25 Aug 2013 15:39:26 +0000 (12:39 -0300)
committerSilvio Rhatto <rhatto@riseup.net>
Sun, 25 Aug 2013 15:39:26 +0000 (12:39 -0300)
assh [deleted symlink]
asshs [deleted symlink]
shell

diff --git a/assh b/assh
deleted file mode 120000 (symlink)
index 03e813f..0000000
--- a/assh
+++ /dev/null
@@ -1 +0,0 @@
-shell
\ No newline at end of file
diff --git a/asshs b/asshs
deleted file mode 120000 (symlink)
index daa19ce..0000000
--- a/asshs
+++ /dev/null
@@ -1 +0,0 @@
-assh
\ No newline at end of file
diff --git a/shell b/shell
index fb4c8b6633b8334975c229272f011a14519ed39c..5fb417bd2c8fb7d831a36724bb5130f53a702200 100755 (executable)
--- a/shell
+++ b/shell
@@ -11,7 +11,7 @@ if [ -z "$DEST" ]; then
   exit 1
 fi
 
-if [ "$BASENAME" == "asshs" ] || [ "$BASENAME" == "shells" ]; then
+if [ "$BASENAME" == "shells" ]; then
   # Remote screen shell using autossh
   if [ "$COMMAND" == "root" ]; then
     autossh $DEST -t -- sudo screen -x