Mercurial > index.cgi > dotfiles
annotate .bash_aliases @ 269:ae940a45bfff
Change in a comment but keeps consistency
| author | Steve Huston <huston@princeton.edu> | 
|---|---|
| date | Thu, 25 Apr 2024 11:30:48 -0400 | 
| parents | 48b4f41712dc | 
| children | 02a3d7c46b2b | 
| rev | line source | 
|---|---|
| 19 
f65964738bab
Added Id tag to files, and svn propset svn:keywords as appropriate
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
15diff
changeset | 1 # Aliases are read from this file; no real reason to separate them out except | 
| 
f65964738bab
Added Id tag to files, and svn propset svn:keywords as appropriate
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
15diff
changeset | 2 # for readability. | 
| 
f65964738bab
Added Id tag to files, and svn propset svn:keywords as appropriate
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
15diff
changeset | 3 | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 4 # | 
| 33 
f59f847377d7
* Added toodledo interfacing
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
30diff
changeset | 5 # Some settings which are architecture dependent | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 6 # | 
| 15 
fe83d9892ee3
Replaced tests with a 'case' in .bash_aliases
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
13diff
changeset | 7 case `uname` in | 
| 30 
ca6c77fe843b
* Whitespace (ugh)
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
26diff
changeset | 8 Darwin) | 
| 
ca6c77fe843b
* Whitespace (ugh)
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
26diff
changeset | 9 # DARWIN is used for the SSHFS mounts below | 
| 
ca6c77fe843b
* Whitespace (ugh)
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
26diff
changeset | 10 DARWIN="yes" | 
| 33 
f59f847377d7
* Added toodledo interfacing
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
30diff
changeset | 11 | 
| 
f59f847377d7
* Added toodledo interfacing
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
30diff
changeset | 12 # The 'stat' and 'date' commands are here since the syntax of the commands | 
| 
f59f847377d7
* Added toodledo interfacing
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
30diff
changeset | 13 # is different between Linux and Mac OS X. If this is run elsewhere, the | 
| 
f59f847377d7
* Added toodledo interfacing
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
30diff
changeset | 14 # eval will be false and the test not done below, so it's safe to not | 
| 
f59f847377d7
* Added toodledo interfacing
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
30diff
changeset | 15 # bother checking for zero-length variables on the test - it just won't | 
| 82 
0b67280c980c
Reword comment (no more svn)
 Steve Huston <huston@srhuston.net> parents: 
75diff
changeset | 16 # run the hg incoming, so you won't be prompted if there's newer files | 
| 33 
f59f847377d7
* Added toodledo interfacing
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
30diff
changeset | 17 # available in your repository. These are safe to export since they're | 
| 
f59f847377d7
* Added toodledo interfacing
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
30diff
changeset | 18 # the commands to be evaulated, not the output - you're storing how to get | 
| 
f59f847377d7
* Added toodledo interfacing
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
30diff
changeset | 19 # the answer, not the answer itself. | 
| 
f59f847377d7
* Added toodledo interfacing
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
30diff
changeset | 20 | 
| 41 
2bea356b1032
* Added default screenrc from Linux (and the Screen installation) to .screenrc
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
40diff
changeset | 21 # Also note, the full paths are stored since GNU coreutils might be | 
| 
2bea356b1032
* Added default screenrc from Linux (and the Screen installation) to .screenrc
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
40diff
changeset | 22 # installed; while that would tend to make things "easier" since the GNU | 
| 
2bea356b1032
* Added default screenrc from Linux (and the Screen installation) to .screenrc
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
40diff
changeset | 23 # one is the same as the Linux ones below, it can't be guaranteed. | 
| 
2bea356b1032
* Added default screenrc from Linux (and the Screen installation) to .screenrc
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
40diff
changeset | 24 # Instead of checking for the presence of /opt/local/bin/ls (or gls) it's | 
| 
2bea356b1032
* Added default screenrc from Linux (and the Screen installation) to .screenrc
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
40diff
changeset | 25 # easier to point directly to the one you know *is* installed. | 
| 33 
f59f847377d7
* Added toodledo interfacing
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
30diff
changeset | 26 | 
| 41 
2bea356b1032
* Added default screenrc from Linux (and the Screen installation) to .screenrc
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
40diff
changeset | 27 DFSTAT="/usr/bin/stat -f %m -t %s $HOME/.dotfilets" | 
| 
2bea356b1032
* Added default screenrc from Linux (and the Screen installation) to .screenrc
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
40diff
changeset | 28 MDATE="/bin/date -v -1m +%s" | 
| 
2bea356b1032
* Added default screenrc from Linux (and the Screen installation) to .screenrc
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
40diff
changeset | 29 | 
| 
2bea356b1032
* Added default screenrc from Linux (and the Screen installation) to .screenrc
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
40diff
changeset | 30 alias ls='/bin/ls -FG' | 
| 
2bea356b1032
* Added default screenrc from Linux (and the Screen installation) to .screenrc
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
40diff
changeset | 31 | 
| 
2bea356b1032
* Added default screenrc from Linux (and the Screen installation) to .screenrc
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
40diff
changeset | 32 VNCVIEWER="open vnc://" | 
| 30 
ca6c77fe843b
* Whitespace (ugh)
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
26diff
changeset | 33 ;; | 
| 8 
aa5e55aa62ef
Moved specific section to top of .bash_aliases, so other bits can be set based
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
3diff
changeset | 34 | 
| 30 
ca6c77fe843b
* Whitespace (ugh)
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
26diff
changeset | 35 Linux) | 
| 33 
f59f847377d7
* Added toodledo interfacing
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
30diff
changeset | 36 # See above for a description of these four | 
| 41 
2bea356b1032
* Added default screenrc from Linux (and the Screen installation) to .screenrc
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
40diff
changeset | 37 DFSTAT="/usr/bin/stat -c %Y $HOME/.dotfilets" | 
| 
2bea356b1032
* Added default screenrc from Linux (and the Screen installation) to .screenrc
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
40diff
changeset | 38 MDATE="/bin/date -d \"1 month ago\" +%s" | 
| 33 
f59f847377d7
* Added toodledo interfacing
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
30diff
changeset | 39 | 
| 41 
2bea356b1032
* Added default screenrc from Linux (and the Screen installation) to .screenrc
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
40diff
changeset | 40 alias ls='/bin/ls --color=auto -F' | 
| 
2bea356b1032
* Added default screenrc from Linux (and the Screen installation) to .screenrc
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
40diff
changeset | 41 | 
| 
2bea356b1032
* Added default screenrc from Linux (and the Screen installation) to .screenrc
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
40diff
changeset | 42 VNCVIEWER="vncviewer Shared=1 Fullcolor=1 " | 
| 30 
ca6c77fe843b
* Whitespace (ugh)
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
26diff
changeset | 43 ;; | 
| 15 
fe83d9892ee3
Replaced tests with a 'case' in .bash_aliases
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
13diff
changeset | 44 esac | 
| 8 
aa5e55aa62ef
Moved specific section to top of .bash_aliases, so other bits can be set based
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
3diff
changeset | 45 | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 46 # | 
| 33 
f59f847377d7
* Added toodledo interfacing
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
30diff
changeset | 47 # Export some of those above for the benefit of future shells | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 48 # | 
| 197 
954d25f20123
Removing toodledo stuff (no longer used)
 Steve Huston <huston@srhuston.net> parents: 
196diff
changeset | 49 export DFSTAT MDATE | 
| 33 
f59f847377d7
* Added toodledo interfacing
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
30diff
changeset | 50 | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 51 # | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 52 # Create a service that can share files through to places we ssh to from here. | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 53 # This should be pretty light, rooted in the $DOTHOME directory (see ~/.bashrc | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 54 # for information) and removed when we either request it or the shell exits. | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 55 # | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 56 ds() { | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 57 | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 58 PIDFILE=${DOTHOME}/.dotshare-PID | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 59 | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 60 # If we want to kill an existing server, let's do that first. | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 61 if [ "$1" == "end" -a -e $PIDFILE ]; then | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 62 kill `cat $PIDFILE` | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 63 unset DOTSHARE_PID DOTSHARE_PORT | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 64 echo "Server terminated" | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 65 return 0 | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 66 fi | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 67 | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 68 # Let's check if things exist and we can just use them as-is | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 69 if [ -e $PIDFILE ]; then | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 70 DOTSHARE_PID=`cat $PIDFILE` | 
| 268 
48b4f41712dc
Suppress warnings in lsof, change filetype bash -> sh
 Steve Huston <huston@princeton.edu> parents: 
265diff
changeset | 71 DOTSHARE_PORT=`lsof -w -n -p $DOTSHARE_PID | grep LISTEN | awk '{print $9}' | sed 's/.*://'` | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 72 if [ -z $DOTSHARE_PORT ]; then | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 73 echo "Server PIDfile found but couldn't get a port, aborting" | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 74 return 255 | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 75 fi | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 76 echo "Existing server ${DOTSHARE_PID} listening on ${DOTSHARE_PORT}, setting environment" | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 77 export DOTSHARE_PID DOTSHARE_PORT | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 78 return 0 | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 79 fi | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 80 | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 81 # Nothing exists, so we need to make one; first, which python do we have | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 82 if hash python3 > /dev/null 2>&1 ; then | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 83 # Python 3.9 also accepts '-d' for a directory | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 84 serv_cmd="python3 -m http.server --bind localhost 0" | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 85 elif hash python > /dev/null 2>&1 ; then | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 86 # I think nothing else where I'd run this will need this one | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 87 serv_cmd="python -m SimpleHTTPServer 0" | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 88 else | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 89 echo "No python found, cannot start share server." | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 90 return 255 | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 91 fi | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 92 | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 93 # Spawning this in a subshell because the process won't go away and we want | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 94 # to background it, but we also want to set a trap around the whole thing, | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 95 # and we need to 'cd' to somewhere else to start it since older versions | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 96 # can't be passed a different path to serve. So there's some hacks here, | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 97 # but I don't think they're avoidable for the moment. Once Joshua and | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 98 # Xanadu have Python 3.9 at least, I can rework this whole thing. | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 99 ( | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 100 cd $DOTHOME | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 101 $serv_cmd > /dev/null 2>&1 & | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 102 P=$! | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 103 echo $P > ${DOTHOME}/.dotshare-PID | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 104 trap "kill $P 2>/dev/null; rm -f $PIDFILE; unset DOTSHARE_PID DOTSHARE_PORT" 0 | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 105 wait | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 106 ) & | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 107 disown %+ | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 108 | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 109 # Give it a moment to collect its thoughts... | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 110 sleep 1 | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 111 DOTSHARE_PID=`cat $PIDFILE` | 
| 268 
48b4f41712dc
Suppress warnings in lsof, change filetype bash -> sh
 Steve Huston <huston@princeton.edu> parents: 
265diff
changeset | 112 DOTSHARE_PORT=`lsof -w -n -p $DOTSHARE_PID | grep LISTEN | awk '{print $9}' | sed 's/.*://'` | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 113 echo "Server PID $DOTSHARE_PID ready on port $DOTSHARE_PORT" | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 114 export DOTSHARE_PID DOTSHARE_PORT | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 115 } | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 116 | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 117 # | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 118 # SSH aliases/functions | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 119 # | 
| 167 
88ed01a1094f
SSH Certificate signing
 Steve Huston <huston@astro.princeton.edu> parents: 
165diff
changeset | 120 cert() { | 
| 198 
6e7913283c7a
Removed a lot of cruft that's no longer needed, cleaned up some comments & syntax
 Steve Huston <huston@srhuston.net> parents: 
197diff
changeset | 121 # SSH key signing with Vault for administration | 
| 167 
88ed01a1094f
SSH Certificate signing
 Steve Huston <huston@astro.princeton.edu> parents: 
165diff
changeset | 122 export VAULT_ADDR='https://ajax.rc.princeton.edu:8200' | 
| 193 
5d0e1adee7e0
Modifying cert alias for different key
 Steve Huston <huston@astro.princeton.edu> parents: 
192diff
changeset | 123 ssh-add -d $HOME/.ssh/rc_vault_key-cert.pub > /dev/null 2>&1 | 
| 167 
88ed01a1094f
SSH Certificate signing
 Steve Huston <huston@astro.princeton.edu> parents: 
165diff
changeset | 124 if vault login -method=radius username=vi-srh; then | 
| 193 
5d0e1adee7e0
Modifying cert alias for different key
 Steve Huston <huston@astro.princeton.edu> parents: 
192diff
changeset | 125 vault write -field=signed_key ssh-client-signer/sign/root public_key=@$HOME/.ssh/rc_vault_key.pub > $HOME/.ssh/rc_vault_key-cert.pub | 
| 194 
bb1c927125a5
Add a timeout to the key & cert
 Steve Huston <huston@astro.princeton.edu> parents: 
193diff
changeset | 126 ssh-add -t 36000 $HOME/.ssh/rc_vault_key | 
| 167 
88ed01a1094f
SSH Certificate signing
 Steve Huston <huston@astro.princeton.edu> parents: 
165diff
changeset | 127 else | 
| 
88ed01a1094f
SSH Certificate signing
 Steve Huston <huston@astro.princeton.edu> parents: 
165diff
changeset | 128 echo Failed to login to vault, aborting | 
| 
88ed01a1094f
SSH Certificate signing
 Steve Huston <huston@astro.princeton.edu> parents: 
165diff
changeset | 129 fi | 
| 
88ed01a1094f
SSH Certificate signing
 Steve Huston <huston@astro.princeton.edu> parents: 
165diff
changeset | 130 } | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 131 | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 132 # I rename my keys from the standard so they're easy to glob on a commandline | 
| 198 
6e7913283c7a
Removed a lot of cruft that's no longer needed, cleaned up some comments & syntax
 Steve Huston <huston@srhuston.net> parents: 
197diff
changeset | 133 alias keys='ssh-add $HOME/.ssh/*.pvt' | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 134 | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 135 # | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 136 # These are for reattaching screen sessions, only useful on bastion systems | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 137 # | 
| 198 
6e7913283c7a
Removed a lot of cruft that's no longer needed, cleaned up some comments & syntax
 Steve Huston <huston@srhuston.net> parents: 
197diff
changeset | 138 alias rbh='ssh -t csesbh2.princeton.edu screen -raAx csesbh2' | 
| 
6e7913283c7a
Removed a lot of cruft that's no longer needed, cleaned up some comments & syntax
 Steve Huston <huston@srhuston.net> parents: 
197diff
changeset | 139 alias rj='ssh -t joshua.srhuston.net screen -raAx' | 
| 
6e7913283c7a
Removed a lot of cruft that's no longer needed, cleaned up some comments & syntax
 Steve Huston <huston@srhuston.net> parents: 
197diff
changeset | 140 alias rx='ssh -t xanadu.astro.princeton.edu screen -raAx' | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 141 | 
| 198 
6e7913283c7a
Removed a lot of cruft that's no longer needed, cleaned up some comments & syntax
 Steve Huston <huston@srhuston.net> parents: 
197diff
changeset | 142 t() { | 
| 
6e7913283c7a
Removed a lot of cruft that's no longer needed, cleaned up some comments & syntax
 Steve Huston <huston@srhuston.net> parents: 
197diff
changeset | 143 # Tunneling SSH - a simple 't hostname' will tunnel to xanadu and then | 
| 
6e7913283c7a
Removed a lot of cruft that's no longer needed, cleaned up some comments & syntax
 Steve Huston <huston@srhuston.net> parents: 
197diff
changeset | 144 # connect to hostname, while 't hostname tunnelhost' will connect to | 
| 
6e7913283c7a
Removed a lot of cruft that's no longer needed, cleaned up some comments & syntax
 Steve Huston <huston@srhuston.net> parents: 
197diff
changeset | 145 # tunnelhost and then hostname | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 146 # Today (2024/03/30) I don't remember the last time I used this; retire? | 
| 198 
6e7913283c7a
Removed a lot of cruft that's no longer needed, cleaned up some comments & syntax
 Steve Huston <huston@srhuston.net> parents: 
197diff
changeset | 147 T_HOST=xanadu.astro.princeton.edu | 
| 
6e7913283c7a
Removed a lot of cruft that's no longer needed, cleaned up some comments & syntax
 Steve Huston <huston@srhuston.net> parents: 
197diff
changeset | 148 if [ -n "$2" ] ; then | 
| 
6e7913283c7a
Removed a lot of cruft that's no longer needed, cleaned up some comments & syntax
 Steve Huston <huston@srhuston.net> parents: 
197diff
changeset | 149 T_HOST=$2 | 
| 
6e7913283c7a
Removed a lot of cruft that's no longer needed, cleaned up some comments & syntax
 Steve Huston <huston@srhuston.net> parents: 
197diff
changeset | 150 fi | 
| 
6e7913283c7a
Removed a lot of cruft that's no longer needed, cleaned up some comments & syntax
 Steve Huston <huston@srhuston.net> parents: 
197diff
changeset | 151 ssh -t $T_HOST "ssh $1" | 
| 
6e7913283c7a
Removed a lot of cruft that's no longer needed, cleaned up some comments & syntax
 Steve Huston <huston@srhuston.net> parents: 
197diff
changeset | 152 } | 
| 
6e7913283c7a
Removed a lot of cruft that's no longer needed, cleaned up some comments & syntax
 Steve Huston <huston@srhuston.net> parents: 
197diff
changeset | 153 | 
| 165 
ab0fb2057b88
Proxy function for starting a proxy server & Chrome
 Steve Huston <huston@astro.princeton.edu> parents: 
164diff
changeset | 154 proxy() { | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 155 # Proxying/tunneling - predominantly for my Mac laptop | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 156 local PROXY_HOST PROXY_PORT PROXY_PATH PROXY_UMOUNT PROXY_CMD | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 157 # We set a simple command to run over the proxy for normal connections, | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 158 # which we know will be multiplexed and stay active. If you're using a | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 159 # manual host for something, you'll want to use a "sleep 30" or something to | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 160 # keep the shell open long enough for the proxy to be used, or maybe even | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 161 # longer if you plan on disconnecting and reconnecting over time. | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 162 PROXY_CMD=${PROXY_CMD:-hostname} | 
| 205 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 163 case $1 in | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 164 home) | 
| 207 
7fc7d82cce6d
I think this might have the last of the proxy setup finished - should be portable too (at least to other Macs)
 Steve Huston <huston@astro.princeton.edu> parents: 
206diff
changeset | 165 if [ "$HOST" != "gallifrey" ] ; then | 
| 
7fc7d82cce6d
I think this might have the last of the proxy setup finished - should be portable too (at least to other Macs)
 Steve Huston <huston@astro.princeton.edu> parents: 
206diff
changeset | 166 echo "Not on gallifrey, no need for this" | 
| 
7fc7d82cce6d
I think this might have the last of the proxy setup finished - should be portable too (at least to other Macs)
 Steve Huston <huston@astro.princeton.edu> parents: 
206diff
changeset | 167 return | 
| 
7fc7d82cce6d
I think this might have the last of the proxy setup finished - should be portable too (at least to other Macs)
 Steve Huston <huston@astro.princeton.edu> parents: 
206diff
changeset | 168 fi | 
| 205 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 169 PROXY_HOST=${PROXY_HOST:-joshua.srhuston.net} | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 170 PROXY_PORT=${PROXY_PORT:-8889} | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 171 PROXY_PATH="/Volumes/Chrome-Personal" | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 172 PROXY_UMOUNT="hdiutil detach -quiet ${PROXY_PATH}" | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 173 if [ ! -e ${PROXY_PATH}/.profile-exists ] ; then | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 174 hdiutil attach -stdinpass -nobrowse -quiet ~/Documents/Chrome-Personal.dmg | 
| 206 | 175 if [ ! $? ] ; then | 
| 205 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 176 echo Disk image failed to mount, aborting | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 177 return | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 178 fi | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 179 fi | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 180 ;; | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 181 work) | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 182 PROXY_HOST=${PROXY_HOST:-xanadu.astro.princeton.edu} | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 183 PROXY_PORT=${PROXY_PORT:-8888} | 
| 207 
7fc7d82cce6d
I think this might have the last of the proxy setup finished - should be portable too (at least to other Macs)
 Steve Huston <huston@astro.princeton.edu> parents: 
206diff
changeset | 184 if [ "$HOST" == "gallifrey" ] ; then | 
| 
7fc7d82cce6d
I think this might have the last of the proxy setup finished - should be portable too (at least to other Macs)
 Steve Huston <huston@astro.princeton.edu> parents: 
206diff
changeset | 185 PROXY_PATH="/Users/huston/Library/Application Support/Google/Chrome" | 
| 
7fc7d82cce6d
I think this might have the last of the proxy setup finished - should be portable too (at least to other Macs)
 Steve Huston <huston@astro.princeton.edu> parents: 
206diff
changeset | 186 else | 
| 
7fc7d82cce6d
I think this might have the last of the proxy setup finished - should be portable too (at least to other Macs)
 Steve Huston <huston@astro.princeton.edu> parents: 
206diff
changeset | 187 PROXY_PATH="/Users/huston/Library/Application Support/Google/Chrome_Work" | 
| 
7fc7d82cce6d
I think this might have the last of the proxy setup finished - should be portable too (at least to other Macs)
 Steve Huston <huston@astro.princeton.edu> parents: 
206diff
changeset | 188 fi | 
| 205 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 189 ;; | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 190 rc) | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 191 PROXY_HOST=${PROXY_HOST:-csesbh2.princeton.edu} | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 192 PROXY_PORT=${PROXY_PORT:-8887} | 
| 207 
7fc7d82cce6d
I think this might have the last of the proxy setup finished - should be portable too (at least to other Macs)
 Steve Huston <huston@astro.princeton.edu> parents: 
206diff
changeset | 193 PROXY_PATH="/Users/huston/Library/Application Support/Google/Chrome_RC" | 
| 205 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 194 ;; | 
| 234 
863d190c2fa1
Proxy settings for DVRA administration
 Steve Huston <huston@srhuston.net> parents: 
229diff
changeset | 195 w2zq) | 
| 
863d190c2fa1
Proxy settings for DVRA administration
 Steve Huston <huston@srhuston.net> parents: 
229diff
changeset | 196 PROXY_HOST=${PROXY_HOST:-ssh://w2zq.mywire.org:22022} | 
| 
863d190c2fa1
Proxy settings for DVRA administration
 Steve Huston <huston@srhuston.net> parents: 
229diff
changeset | 197 PROXY_PORT=${PROXY_PORT:-8886} | 
| 
863d190c2fa1
Proxy settings for DVRA administration
 Steve Huston <huston@srhuston.net> parents: 
229diff
changeset | 198 PROXY_PATH="/Users/huston/Library/Application Support/Google/Chrome_W2ZQ" | 
| 235 
2b3e169f8182
Updating proxy setting, forgot I wasn't using a controlmaster there
 Steve Huston <huston@srhuston.net> parents: 
234diff
changeset | 199 PROXY_UMOUNT="ssh -O exit $PROXY_HOST" | 
| 234 
863d190c2fa1
Proxy settings for DVRA administration
 Steve Huston <huston@srhuston.net> parents: 
229diff
changeset | 200 ;; | 
| 205 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 201 *) | 
| 234 
863d190c2fa1
Proxy settings for DVRA administration
 Steve Huston <huston@srhuston.net> parents: 
229diff
changeset | 202 echo "Proxy needs one argument: home, work, rc, or w2zq" | 
| 207 
7fc7d82cce6d
I think this might have the last of the proxy setup finished - should be portable too (at least to other Macs)
 Steve Huston <huston@astro.princeton.edu> parents: 
206diff
changeset | 203 return | 
| 205 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 204 ;; | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 205 esac | 
| 207 
7fc7d82cce6d
I think this might have the last of the proxy setup finished - should be portable too (at least to other Macs)
 Steve Huston <huston@astro.princeton.edu> parents: 
206diff
changeset | 206 # In theory you need to have a job stay on the remote host for the | 
| 
7fc7d82cce6d
I think this might have the last of the proxy setup finished - should be portable too (at least to other Macs)
 Steve Huston <huston@astro.princeton.edu> parents: 
206diff
changeset | 207 # forwarding to stay open. However if you're using persistent/shared | 
| 
7fc7d82cce6d
I think this might have the last of the proxy setup finished - should be portable too (at least to other Macs)
 Steve Huston <huston@astro.princeton.edu> parents: 
206diff
changeset | 208 # connections then the port stays open anyway. We still need a command | 
| 
7fc7d82cce6d
I think this might have the last of the proxy setup finished - should be portable too (at least to other Macs)
 Steve Huston <huston@astro.princeton.edu> parents: 
206diff
changeset | 209 # though, and 'hostname' returns quickly as well as giving a visual output | 
| 
7fc7d82cce6d
I think this might have the last of the proxy setup finished - should be portable too (at least to other Macs)
 Steve Huston <huston@astro.princeton.edu> parents: 
206diff
changeset | 210 # that you connected to the right place. | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 211 ssh -D $PROXY_PORT -f -C -q $PROXY_HOST "$PROXY_CMD" | 
| 205 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 212 ( | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 213 /Applications/Google\ Chrome.app/Contents/MacOS/Google\ Chrome \ | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 214 --proxy-server="socks5://127.0.0.1:$PROXY_PORT" \ | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 215 --host-resolver-rules="MAP * 0.0.0.0 , EXCLUDE localhost" \ | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 216 --user-data-dir="${PROXY_PATH}" > /dev/null 2>&1 | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 217 $PROXY_UMOUNT | 
| 242 
96f00cdb6614
Cert check function
 Steve Huston <huston@astro.princeton.edu> parents: 
240diff
changeset | 218 # Maybe leave this off, so what if the port is left open if there are no | 
| 205 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 219 # conflicts... | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 220 # ssh -O cancel -D $PROXY_PORT $PROXY_HOST | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 221 ) & | 
| 
16fdb3931af6
Many changes to proxy setup, probably more to come eventually
 Steve Huston <huston@astro.princeton.edu> parents: 
200diff
changeset | 222 disown %+ | 
| 165 
ab0fb2057b88
Proxy function for starting a proxy server & Chrome
 Steve Huston <huston@astro.princeton.edu> parents: 
164diff
changeset | 223 } | 
| 
ab0fb2057b88
Proxy function for starting a proxy server & Chrome
 Steve Huston <huston@astro.princeton.edu> parents: 
164diff
changeset | 224 | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 225 # | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 226 # Remote desktop/VNC - definitely outdated and maybe no longer useful? | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 227 # | 
| 155 
5ab127dd2d89
Fixing up aliases for VNC connections
 Steve Huston <huston@astro.princeton.edu> parents: 
154diff
changeset | 228 eval "alias milton='ssh -L9930:milton:5900 -f joshua.srhuston.net \"sleep 5\"; ${VNCVIEWER}localhost:9930 &'" | 
| 12 
08bf77c6174f
Added bynarr alias (rdesktop)
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
10diff
changeset | 229 | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 230 # | 
| 1 
7e33b3191cf7
Merged in settings from home, and at the same time edited some of the
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
0diff
changeset | 231 # Programs | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 232 # | 
| 3 
072b183989e0
Merged in changes for the Mac, including the beginnings of platform
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
2diff
changeset | 233 alias atari='atari800 -height 800 -width 600' | 
| 2 
2b4dcc885071
Alphabetized aliases for easier sorting
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
1diff
changeset | 234 alias base64='openssl enc -a' | 
| 26 
e14a0b4fab30
* Rename private keys in ~/.ssh/ to <name>.pvt so the keys alias can just add
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
25diff
changeset | 235 alias irssi-test='irssi --home=$HOME/irssi-test/' | 
| 51 
44c36681ca0f
* Removed many double quotes from tests; they caused the tests to pass on
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
50diff
changeset | 236 alias pine='alpine' | 
| 2 
2b4dcc885071
Alphabetized aliases for easier sorting
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
1diff
changeset | 237 alias ret='screen -raAx' | 
| 160 
fd42244e9413
Adding 'tt' alias, commenting out some services on joshua
 Steve Huston <huston@srhuston.net> parents: 
156diff
changeset | 238 tt () { | 
| 
fd42244e9413
Adding 'tt' alias, commenting out some services on joshua
 Steve Huston <huston@srhuston.net> parents: 
156diff
changeset | 239 OPTS="-G" | 
| 
fd42244e9413
Adding 'tt' alias, commenting out some services on joshua
 Steve Huston <huston@srhuston.net> parents: 
156diff
changeset | 240 if [ -e ${HOME}/.tt/${1}.tin ] ; then | 
| 
fd42244e9413
Adding 'tt' alias, commenting out some services on joshua
 Steve Huston <huston@srhuston.net> parents: 
156diff
changeset | 241 OPTS="${OPTS} ${HOME}/.tt/${1}.tin" | 
| 
fd42244e9413
Adding 'tt' alias, commenting out some services on joshua
 Steve Huston <huston@srhuston.net> parents: 
156diff
changeset | 242 shift | 
| 
fd42244e9413
Adding 'tt' alias, commenting out some services on joshua
 Steve Huston <huston@srhuston.net> parents: 
156diff
changeset | 243 fi | 
| 
fd42244e9413
Adding 'tt' alias, commenting out some services on joshua
 Steve Huston <huston@srhuston.net> parents: 
156diff
changeset | 244 tt++ ${OPTS} $@ | 
| 
fd42244e9413
Adding 'tt' alias, commenting out some services on joshua
 Steve Huston <huston@srhuston.net> parents: 
156diff
changeset | 245 } | 
| 0 | 246 | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 247 # | 
| 1 
7e33b3191cf7
Merged in settings from home, and at the same time edited some of the
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
0diff
changeset | 248 # SSHFS mounts | 
| 8 
aa5e55aa62ef
Moved specific section to top of .bash_aliases, so other bits can be set based
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
3diff
changeset | 249 # The $DARWIN check fills in a nice volname if this is a Mac | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 250 # | 
| 26 
e14a0b4fab30
* Rename private keys in ~/.ssh/ to <name>.pvt so the keys alias can just add
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
25diff
changeset | 251 alias junkpile="sshfs -oreconnect${DARWIN:+,volname=Junkpile} srhuston.net:junkpile $HOME/junkpile" | 
| 91 
9d5fcbb36232
Reordering some alises for completeness
 Steve Huston <huston@astro.princeton.edu> parents: 
90diff
changeset | 252 alias sdh="sshfs -oreconnect${DARWIN:+,volname=srhuston.net} srhuston.net: $HOME/srhuston.net" | 
| 26 
e14a0b4fab30
* Rename private keys in ~/.ssh/ to <name>.pvt so the keys alias can just add
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
25diff
changeset | 253 alias sj="sshfs -oreconnect${DARWIN:+,volname=Joshua} joshua.srhuston.net: $HOME/joshua" | 
| 
e14a0b4fab30
* Rename private keys in ~/.ssh/ to <name>.pvt so the keys alias can just add
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
25diff
changeset | 254 alias sx="sshfs -oreconnect${DARWIN:+,volname=Xanadu} xanadu.astro.princeton.edu: $HOME/xanadu" | 
| 107 
b955aa106b9a
Added 'vw' alias for sshfs
 Steve Huston <huston@astro.princeton.edu> parents: 
102diff
changeset | 255 alias vw="sshfs -oreconnect${DARWIN:+,volname=VW} vw.math.princeton.edu: $HOME/vw" | 
| 173 | 256 alias tmu="sshfs -oreconnect${DARWIN:+,volname=tomenet-user} joshua.srhuston.net:Installs/tomenet/lib/user $HOME/Installs/tomenet/lib/user" | 
| 13 
dacbbae5965c
Added Ruby setup variables
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
12diff
changeset | 257 | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 258 # | 
| 51 
44c36681ca0f
* Removed many double quotes from tests; they caused the tests to pass on
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
50diff
changeset | 259 # LDAP/host tools | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 260 # | 
| 156 
5dfc68e01309
New ldm/lds, and a quick way to know when is now
 Steve Huston <huston@astro.princeton.edu> parents: 
155diff
changeset | 261 alias ldm="ldapmodify -Q -Y GSSAPI -c" | 
| 51 
44c36681ca0f
* Removed many double quotes from tests; they caused the tests to pass on
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
50diff
changeset | 262 alias ldsloop='while true; do read; clear; lds "$REPLY"; done' | 
| 90 
cdfa42697eec
Updated lds, added ldsauth and ldapsync
 Steve Huston <huston@astro.princeton.edu> parents: 
82diff
changeset | 263 lds () { | 
| 
cdfa42697eec
Updated lds, added ldsauth and ldapsync
 Steve Huston <huston@astro.princeton.edu> parents: 
82diff
changeset | 264 QUERY="$1" | 
| 
cdfa42697eec
Updated lds, added ldsauth and ldapsync
 Steve Huston <huston@astro.princeton.edu> parents: 
82diff
changeset | 265 shift | 
| 
cdfa42697eec
Updated lds, added ldsauth and ldapsync
 Steve Huston <huston@astro.princeton.edu> parents: 
82diff
changeset | 266 OPTS="" | 
| 
cdfa42697eec
Updated lds, added ldsauth and ldapsync
 Steve Huston <huston@astro.princeton.edu> parents: 
82diff
changeset | 267 [[ "$1" =~ ^- ]] && { | 
| 
cdfa42697eec
Updated lds, added ldsauth and ldapsync
 Steve Huston <huston@astro.princeton.edu> parents: 
82diff
changeset | 268 OPTS="$1" | 
| 
cdfa42697eec
Updated lds, added ldsauth and ldapsync
 Steve Huston <huston@astro.princeton.edu> parents: 
82diff
changeset | 269 shift | 
| 
cdfa42697eec
Updated lds, added ldsauth and ldapsync
 Steve Huston <huston@astro.princeton.edu> parents: 
82diff
changeset | 270 } | 
| 156 
5dfc68e01309
New ldm/lds, and a quick way to know when is now
 Steve Huston <huston@astro.princeton.edu> parents: 
155diff
changeset | 271 ldapsearch -Q -Y GSSAPI -LLL $OPTS "($QUERY)" $@ | 
| 90 
cdfa42697eec
Updated lds, added ldsauth and ldapsync
 Steve Huston <huston@astro.princeton.edu> parents: 
82diff
changeset | 272 } | 
| 
cdfa42697eec
Updated lds, added ldsauth and ldapsync
 Steve Huston <huston@astro.princeton.edu> parents: 
82diff
changeset | 273 | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 274 # | 
| 13 
dacbbae5965c
Added Ruby setup variables
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
12diff
changeset | 275 # Other | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 276 # | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 277 hgs() { | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 278 # Creates a hg server in the current repo and connects to it automatically. | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 279 # We assume here that if the host is a Mac, we're going to open the | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 280 # connection automatically, otherwise we echo the URL to the terminal to be | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 281 # opened | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 282 ROOT=`hg root` | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 283 if [ "$1" == "end" -a -e $ROOT/.hg/hgserve-PID ] ; then | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 284 kill `cat $ROOT/.hg/hgserve-PID` | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 285 rm $ROOT/.hg/hgserve-PID | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 286 else | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 287 if [ -e $ROOT/.hg/hgserve-PID ] ; then | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 288 P=`cat $ROOT/.hg/hgserve-PID` | 
| 268 
48b4f41712dc
Suppress warnings in lsof, change filetype bash -> sh
 Steve Huston <huston@princeton.edu> parents: 
265diff
changeset | 289 URL=`lsof -w -n -p $P | grep LISTEN | awk '{print $9}'` | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 290 else | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 291 URL=`hg serve -d -p 0 --pid-file $ROOT/.hg/hgserve-PID | sed 's#.*at http://\(.*\)/ (bound.*#\1#'` | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 292 fi | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 293 if [ -z "$DARWIN" ] ; then | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 294 echo hg serve on http://$URL/ | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 295 else | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 296 open http://$URL/ | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 297 fi | 
| 242 
96f00cdb6614
Cert check function
 Steve Huston <huston@astro.princeton.edu> parents: 
240diff
changeset | 298 fi | 
| 
96f00cdb6614
Cert check function
 Steve Huston <huston@astro.princeton.edu> parents: 
240diff
changeset | 299 } | 
| 251 
b00e6b403896
Added airline-colour-splits and removed whitespace
 Steve Huston <huston@srhuston.net> parents: 
242diff
changeset | 300 mc-backup() { | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 301 # Definitely time to rework this one - I don't even use Dropbox anymore! | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 302 # Keeping it here for now just for the syntax, but this is probably no | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 303 # longer worth keeping either. | 
| 113 | 304 pushd ~/Dropbox/Saves/minecraft/saves; | 
| 305 if [ -d $1 ]; then | |
| 306 tar cvf - $1 | bzip2 > ../$1_`date +%Y%m%d%H%M%S`.tar.bz2; | |
| 307 fi; | |
| 308 popd | |
| 309 } | |
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 310 alias slurp="wget -r -l1 -np -nd -A.mp3" | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 311 alias zulu="date -u +%Y%m%d%H%M%SZ" | 
| 63 
590b4d17d933
* TOhtml function that makes pretty prints of all the dotfiles for display
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
62diff
changeset | 312 TOhtml() { | 
| 265 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 313 # Since I moved to hosting the hg repo, this is less useful to share things. | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 314 # But still a nice bit of code and worth keeping I think. Needs a rework to | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 315 # match the new style of the dotfile repo as of 2024/03/30 (splitting out | 
| 
df0b24d4fabd
Think I'm ready to check this all in now; shared dotfiles that can be "sent"
 Steve Huston <huston@srhuston.net> parents: 
251diff
changeset | 316 # shared configs, etc) | 
| 210 
25e7a79f5ba0
Better update to TOhtml
 Steve Huston <huston@astro.princeton.edu> parents: 
208diff
changeset | 317 OUTDIR=${1:-`mktemp -d TOHTML.XXXXXX`} | 
| 
25e7a79f5ba0
Better update to TOhtml
 Steve Huston <huston@astro.princeton.edu> parents: 
208diff
changeset | 318 ROOT=`hg root` | 
| 
25e7a79f5ba0
Better update to TOhtml
 Steve Huston <huston@astro.princeton.edu> parents: 
208diff
changeset | 319 | 
| 
25e7a79f5ba0
Better update to TOhtml
 Steve Huston <huston@astro.princeton.edu> parents: 
208diff
changeset | 320 echo "<HTML><HEAD><TITLE>My dotfiles</TITLE></HEAD><BODY><UL>" > $OUTDIR/index.html | 
| 
25e7a79f5ba0
Better update to TOhtml
 Steve Huston <huston@astro.princeton.edu> parents: 
208diff
changeset | 321 | 
| 251 
b00e6b403896
Added airline-colour-splits and removed whitespace
 Steve Huston <huston@srhuston.net> parents: 
242diff
changeset | 322 for F in `hg locate` ; do | 
| 63 
590b4d17d933
* TOhtml function that makes pretty prints of all the dotfiles for display
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
62diff
changeset | 323 | 
| 
590b4d17d933
* TOhtml function that makes pretty prints of all the dotfiles for display
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
62diff
changeset | 324 # Files to ignore from the list | 
| 
590b4d17d933
* TOhtml function that makes pretty prints of all the dotfiles for display
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
62diff
changeset | 325 case $F in | 
| 210 
25e7a79f5ba0
Better update to TOhtml
 Steve Huston <huston@astro.princeton.edu> parents: 
208diff
changeset | 326 .vim/*) | 
| 63 
590b4d17d933
* TOhtml function that makes pretty prints of all the dotfiles for display
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
62diff
changeset | 327 continue | 
| 
590b4d17d933
* TOhtml function that makes pretty prints of all the dotfiles for display
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
62diff
changeset | 328 ;; | 
| 
590b4d17d933
* TOhtml function that makes pretty prints of all the dotfiles for display
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
62diff
changeset | 329 *) | 
| 
590b4d17d933
* TOhtml function that makes pretty prints of all the dotfiles for display
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
62diff
changeset | 330 ;; | 
| 
590b4d17d933
* TOhtml function that makes pretty prints of all the dotfiles for display
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
62diff
changeset | 331 esac | 
| 
590b4d17d933
* TOhtml function that makes pretty prints of all the dotfiles for display
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
62diff
changeset | 332 | 
| 210 
25e7a79f5ba0
Better update to TOhtml
 Steve Huston <huston@astro.princeton.edu> parents: 
208diff
changeset | 333 D=`echo $F | grep "/" | sed 's/\/[^\/]*$//'` | 
| 
25e7a79f5ba0
Better update to TOhtml
 Steve Huston <huston@astro.princeton.edu> parents: 
208diff
changeset | 334 if [ $D ] ; then | 
| 
25e7a79f5ba0
Better update to TOhtml
 Steve Huston <huston@astro.princeton.edu> parents: 
208diff
changeset | 335 mkdir -p $OUTDIR/$D | 
| 
25e7a79f5ba0
Better update to TOhtml
 Steve Huston <huston@astro.princeton.edu> parents: 
208diff
changeset | 336 fi | 
| 
25e7a79f5ba0
Better update to TOhtml
 Steve Huston <huston@astro.princeton.edu> parents: 
208diff
changeset | 337 | 
| 
25e7a79f5ba0
Better update to TOhtml
 Steve Huston <huston@astro.princeton.edu> parents: 
208diff
changeset | 338 vim -n -e +TOhtml "+w ${OUTDIR}/${F}.html" +qa\! $ROOT/$F | 
| 215 | 339 echo "<LI><A href=${F}.html>$F</A></LI>" >> $OUTDIR/index.html | 
| 63 
590b4d17d933
* TOhtml function that makes pretty prints of all the dotfiles for display
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
62diff
changeset | 340 done | 
| 210 
25e7a79f5ba0
Better update to TOhtml
 Steve Huston <huston@astro.princeton.edu> parents: 
208diff
changeset | 341 echo "</UL></BODY></HTML>" >> $OUTDIR/index.html | 
| 63 
590b4d17d933
* TOhtml function that makes pretty prints of all the dotfiles for display
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
62diff
changeset | 342 echo Files stored in $OUTDIR | 
| 
590b4d17d933
* TOhtml function that makes pretty prints of all the dotfiles for display
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
62diff
changeset | 343 } | 
| 
590b4d17d933
* TOhtml function that makes pretty prints of all the dotfiles for display
 huston@80426f53-59d1-405d-934b-f07cd76f4a1a parents: 
62diff
changeset | 344 | 
| 268 
48b4f41712dc
Suppress warnings in lsof, change filetype bash -> sh
 Steve Huston <huston@princeton.edu> parents: 
265diff
changeset | 345 # vim: set filetype=sh : | 
