Skip to content

Instantly share code, notes, and snippets.

View apetresc's full-sized avatar

Adrian Petrescu apetresc

View GitHub Profile
#!/usr/bin/env bash
dir=$(dirname $0)
gconfdir=/apps/gnome-terminal/profiles
echo # This makes the prompts easier to follow (as do other random echos below)
########################
### Select a profile ###
########################