View .bash_profile
function __better_git_ps1 {
local GIT_PS1=`__git_ps1 "%s"`
set -f
local GIT_PS1_ARR=($GIT_PS1)
set +f
if [ "$GIT_PS1" ]; then
if [ ${#GIT_PS1_ARR[0]} -ge 20 ]; then
GIT_PS1=`printf "%.20s... %s" \
View Sandman.cs
/*
This program is free software: you can redistribute it and/or modify
it under the terms of the GNU General Public License as published by
the Free Software Foundation, either version 3 of the License, or
(at your option) any later version.
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.