Merging old admin.git repo.

2018-09-10 20:19:08 -03:00
parent 7e5dbb35ad
commit 2f442be010
16 changed files with 735 additions and 0 deletions
--- a/ssh-to-zsh.sh
+++ b/ssh-to-zsh.sh
@@ -0,0 +1,9 @@
+#!/bin/bash
+# $1 = IP ADDR
+# alt: ssh -t [ip] zsh
+ssh -t $1 'PS1='\''${${functions[zsh_directory_name]::="
+  unsetopt promptsubst
+  unfunction zsh_directory_name
+  unset PS1
+  . /home/renato/.zshrc
+  "}+}${(D):-}${PS1=%m%# }'\' exec zsh -o promptsubst -f