Added user-dirs.dirs config, wdiwtlt-synced, st config files.

This commit is contained in:
Jonathan Bernard
2016-03-31 13:06:21 -05:00
parent 98dac76d33
commit 218745e143
5 changed files with 1335 additions and 0 deletions

15
bin/wdiwtlt-synced Executable file
View File

@ -0,0 +1,15 @@
#!/bin/bash
# Initial sync: only hold the tunnel open while the sync is happening.
ssh -L 5439:localhost:5432 -N -i "$HOME/.ssh/id_wdiwtlt@jdb-mg-vm" _wdiwtlt@pufferfish.jdb-labs.com &
PID=$!
wdiwtlt --sync-only
kill "$PID"
# Launch in interactive mode for the user
wdiwtlt
# Sync again after the user finishes using the program.
ssh -L 5439:localhost:5432 -N -i "$HOME/.ssh/id_wdiwtlt@jdb-mg-vm" _wdiwtlt@pufferfish.jdb-labs.com &
PID=$!
wdiwtlt --sync-only
kill "$PID"