jimkil

How-to setup a simple git push deployment

These are my notes basically. At first i created this gist just as a reminder for myself. But feel free to use this for your project as a starting point. If you have questions you can find me on twitter @thomasf https://twitter.com/thomasf This is how i used it on a Debian Wheezy testing (https://www.debian.org/releases/testing/)

Discuss, ask questions, etc. here https://news.ycombinator.com/item?id=7445545

On the server (example.com)

jimkil

• Use curl to get the JSON response for the latest release
• Use grep to find the line containing file URL
• Use cut and tr to extract the URL
• Use wget to download it

curl -s https://api.github.com/repos/jgm/pandoc/releases/latest \
| grep "browser_download_url.*deb" \
| cut -d : -f 2,3 \
| tr -d \" \

jimkil

# Clone all repositories of a Github user
curl -s https://api.github.com/users/milanboers/repos | grep \"clone_url\" | awk '{print $2}' | sed -e 's/"//g' -e 's/,//g' | xargs -n1 git clone

jimkil

# snippet_bash_dump-hist.sh
history > "history_$USER-$HOST-$(date +"%Y-%m-%d_%H-%M-%S").txt"

# snippet_bash_dump-zshrc.sh
cp "$HOME/.zshrc" "$USER-$HOST-dot_zshrc-$(date +"%Y-%m-%d-%H%M%S")"

jimkil

cp "$HOME/.zshrc" "$USER-$HOST-dot_zshrc-$(date +"%Y-%m-%d-%H%M%S")"

jimkil

history > "history_$USER-$HOST-$(date +"%Y-%m-%d_%H-%M-%S").txt"

jimkil

gist bash quickies

• Dump history with user, hostname and date stamp.

history > "history_$USER-$HOSTNAME_$(date +"%Y-%m-%d-%H:%M:%S").txt"

• Here is a nice grep expression to remove blank lines and comment lines (change file as needed)
  • will display the used settings in sshd_config without any clutter

jimkil

# bash function to check if user is root
function __got_root() {
if [[ $EUID -ne 0 ]]; then
   echo "This script must be run as root" 1>&2
   exit 87 # non-root user exit code
fi
}