Tag: bash
-
My .bash_profile
Don’t know why I never added it here, so doing it now. alias ll=”ls -al” alias src=”cd ~/workspace/” alias ap=”cd ~/workspace/git/antonperez/” alias readyapi=”/Applications/ReadyAPI-2.5.0.app/Contents/java/app/bin/ready-api.sh” performGitOperations() { git fetch –all git checkout $1 git reset –hard origin/$1 git clean -fd } copom() { echo “[———- START ———-]” if [ “$2” = “all” ]; then echo “–>> blwebdriver…
-
Bash script to check health checks of multiple servers
I had to check over 20 servers to verify they were updated with a new build. The servers had a health check page that had this information along with whether the server was up-and-running. I wrote this quick-and-dirty bash script to do just that. for i in jetson1 jetson4; do for j in {1..10}; do…
-
My custom bash prompt
I wanted more information in my bash prompt, such as date/time and the directory I was in. Here’s what it looks like: And this is what I added in my ~/.bash_profile: PS1=’${debian_chroot:+($debian_chroot)}\d \T > \[$(tput sgr0)\]\[\033[01;32m\]\u@\h\[\033[00m\] : \[\033[01;34m\]\w\[\033[00m\]\n\$ ‘ Run source ~/.bash_profile and enjoy. 🙂 BTW, there’s also a website that you can use to…