aliases to ssh to various hosts

10 files changed, 22 insertions, 0 deletions

diff --git a/dot/local/bin/adam b/dot/local/bin/adam
new file mode 120000
index 0000000..a1bda3d
--- /dev/null
+++ b/dot/local/bin/adam
@@ -0,0 +1 @@
+x11-ssh-host
\ No newline at end of file
diff --git a/dot/local/bin/borges b/dot/local/bin/borges
new file mode 120000
index 0000000..a1bda3d
--- /dev/null
+++ b/dot/local/bin/borges
@@ -0,0 +1 @@
+x11-ssh-host
\ No newline at end of file
diff --git a/dot/local/bin/chip b/dot/local/bin/chip
new file mode 120000
index 0000000..a1bda3d
--- /dev/null
+++ b/dot/local/bin/chip
@@ -0,0 +1 @@
+x11-ssh-host
\ No newline at end of file
diff --git a/dot/local/bin/cupid b/dot/local/bin/cupid
new file mode 120000
index 0000000..a1bda3d
--- /dev/null
+++ b/dot/local/bin/cupid
@@ -0,0 +1 @@
+x11-ssh-host
\ No newline at end of file
diff --git a/dot/local/bin/draco b/dot/local/bin/draco
new file mode 120000
index 0000000..a1bda3d
--- /dev/null
+++ b/dot/local/bin/draco
@@ -0,0 +1 @@
+x11-ssh-host
\ No newline at end of file
diff --git a/dot/local/bin/emmy b/dot/local/bin/emmy
new file mode 120000
index 0000000..a1bda3d
--- /dev/null
+++ b/dot/local/bin/emmy
@@ -0,0 +1 @@
+x11-ssh-host
\ No newline at end of file
diff --git a/dot/local/bin/jerkface.net b/dot/local/bin/jerkface.net
new file mode 120000
index 0000000..a1bda3d
--- /dev/null
+++ b/dot/local/bin/jerkface.net
@@ -0,0 +1 @@
+x11-ssh-host
\ No newline at end of file
diff --git a/dot/local/bin/lasker b/dot/local/bin/lasker
new file mode 120000
index 0000000..a1bda3d
--- /dev/null
+++ b/dot/local/bin/lasker
@@ -0,0 +1 @@
+x11-ssh-host
\ No newline at end of file
diff --git a/dot/local/bin/twinkie b/dot/local/bin/twinkie
new file mode 120000
index 0000000..a1bda3d
--- /dev/null
+++ b/dot/local/bin/twinkie
@@ -0,0 +1 @@
+x11-ssh-host
\ No newline at end of file
diff --git a/dot/local/bin/x11-ssh-host b/dot/local/bin/x11-ssh-host
new file mode 100755
index 0000000..2869854
--- /dev/null
+++ b/dot/local/bin/x11-ssh-host
@@ -0,0 +1,13 @@
+#!/bin/sh
+host=$(basename "$0")
+case "$host" in
+    x11-ssh-host) host=$1 ;;
+esac
+
+if [ "$DISPLAY" -a ! -t 0 ]; then
+    exec xterm -T "$host" -e \
+         autossh "$host" -- -t screen -xRR
+else
+    exec \
+         autossh "$host" -- -t screen -xRR
+fi