diff --git a/dotprofile.org b/dotprofile.org index 09de965..001a320 100644 --- a/dotprofile.org +++ b/dotprofile.org @@ -394,26 +394,34 @@ export PATH Cray specific stuff. #+BEGIN_SRC sh :tangle (tangle/file ".profile" (bound-and-true-p cray-p)) -stash() -{ - maybe_git_repo "ssh://git@stash.us.cray.com:7999/${1}.git" || \ - maybe_git_repo "ssh://git@stash.us.cray.com:7999/~${1}.git" -} + stash() + { + maybe_git_repo "ssh://git@stash.us.cray.com:7999/${1}.git" || \ + maybe_git_repo "ssh://git@stash.us.cray.com:7999/~${1}.git" + } -haste() -{ - set -e - URL=http://buildservice.us.cray.com:7777/ - if [ ! -z "$@" ]; then - for x in "$@"; do - if [ -f "${x}" ]; then - curl -X POST -s -d "@${x}" ${URL}documents | awk -F '"' '{print "'$URL'"$4}'; - else - echo "file ${x} does not exist to upload" - fi - done - else - cat /dev/stdin | curl -X POST -s -d "@-" ${URL}documents | awk -F '"' '{print "'$URL'"$4}'; - fi - set +e -} + haste() + { + set -e + URL=http://buildservice.us.cray.com:7777/ + if [ ! -z "$@" ]; then + for x in "$@"; do + if [ -f "${x}" ]; then + curl -X POST -s -d "@${x}" ${URL}documents | awk -F '"' '{print "'$URL'"$4}'; + else + echo "file ${x} does not exist to upload" + fi + done + else + cat /dev/stdin | curl -X POST -s -d "@-" ${URL}documents | awk -F '"' '{print "'$URL'"$4}'; + fi + set +e + } + + stopit () + { + killall -m '.*icrosoft.*' + sudo killall Python + sudo killall java + } +#+END_SRC