diff options
-rw-r--r-- | alias | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -43,7 +43,7 @@ ssh.up.today() { | |||
43 | ssh.up $1 $DATE | 43 | ssh.up $1 $DATE |
44 | } | 44 | } |
45 | ssh.down() { | 45 | ssh.down() { |
46 | ssh topo rm ~/public/"$1" | 46 | ssh -t topo rm -rf -i ~/public/"$1" |
47 | } | 47 | } |
48 | 48 | ||
49 | # for custom scripts | 49 | # for custom scripts |