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 |