From: Silvio Rhatto <rhatto@riseup.net>
Date: Sun, 25 Aug 2013 15:39:26 +0000 (-0300)
Subject: Removing old shell aliases
X-Git-Url: https://gitweb.fluxo.info/?a=commitdiff_plain;h=c24b3de5600fcae43869a6f31445c101f10f5870;p=scripts.git

Removing old shell aliases
---

diff --git a/assh b/assh
deleted file mode 120000
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
index daa19ce..0000000
--- a/asshs
+++ /dev/null
@@ -1 +0,0 @@
-assh
\ No newline at end of file
diff --git a/shell b/shell
index fb4c8b6..5fb417b 100755
--- 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