From 8328e909889dc83219aabddad4c63770f3d246e4 Mon Sep 17 00:00:00 2001
From: Christian Nieves <cnieves@google.com>
Date: Mon, 11 Jul 2022 13:06:24 -0500
Subject: [PATCH] Work script

---
 scripts/scripts/work       | 21 +++++++++++++++++++++
 zsh/.bash_profile          |  1 +
 zsh/fzf-at-google.zsh      |  1 -
 zsh/fzf-relevant-files.zsh |  1 -
 4 files changed, 22 insertions(+), 2 deletions(-)
 create mode 100644 scripts/scripts/work
 delete mode 120000 zsh/fzf-at-google.zsh
 delete mode 120000 zsh/fzf-relevant-files.zsh

diff --git a/scripts/scripts/work b/scripts/scripts/work
new file mode 100644
index 0000000..87f0bf7
--- /dev/null
+++ b/scripts/scripts/work
@@ -0,0 +1,21 @@
+#!/bin/bash
+
+# Configure these parameters
+sleep=5
+alive_interval=10
+host=baggins.c.googlers.com
+
+SSH_OPTS="-YXC -R 5037:localhost:5037 -oServerAliveInterval=$alive_interval"
+
+tmux_cmd="gcertstatus || gcert; mux dev"
+
+# Just keep reconnecting upon failure
+while [ 1 ]; do
+  ssh -t $host $SSH_OPTS "$tmux_cmd"
+
+  # Don't reconnect if disconnection not due to error (i.e., user detached)
+  if [ $? -eq 0 ]; then break; fi
+
+  echo "SSH connection lost, reconnecting in $sleep seconds..."
+  sleep $sleep
+done
diff --git a/zsh/.bash_profile b/zsh/.bash_profile
index cdc9370..4808de3 100644
--- a/zsh/.bash_profile
+++ b/zsh/.bash_profile
@@ -1,4 +1,5 @@
 export PATH=$PATH:$HOME/bin
+export PATH=$PATH:$HOME/scripts
 export MOCWORD_DATA=$HOME/mocword/mocword.sqlite
 
 export PATH=$PATH:.
diff --git a/zsh/fzf-at-google.zsh b/zsh/fzf-at-google.zsh
deleted file mode 120000
index d7b470f..0000000
--- a/zsh/fzf-at-google.zsh
+++ /dev/null
@@ -1 +0,0 @@
-dotfiles/fzf/fzf-at-google.zsh
\ No newline at end of file
diff --git a/zsh/fzf-relevant-files.zsh b/zsh/fzf-relevant-files.zsh
deleted file mode 120000
index e9feb19..0000000
--- a/zsh/fzf-relevant-files.zsh
+++ /dev/null
@@ -1 +0,0 @@
-dotfiles/fzf/fzf-relevant-files.zsh
\ No newline at end of file