Skip to content

Instantly share code, notes, and snippets.

@spikensbror
Created May 30, 2014 21:57
Show Gist options
  • Save spikensbror/352adefe4c536f5f36ed to your computer and use it in GitHub Desktop.
Save spikensbror/352adefe4c536f5f36ed to your computer and use it in GitHub Desktop.
Kill script for devsh.
#!/bin/sh
if [ -z "$1" ]; then
SESSIONNAME="devsh"
else
SESSIONNAME="devsh-$1"
fi
tmux kill-session -t $SESSIONNAME
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment