Script to copy local config and settings files into a github repo

pull_settings_to_backup.sh

#!/usr/bin/env bash

HOME=$HOME
# DESTINATION_DIR is the github repo to save current user's settings to
DESTINATION_DIR="$HOME/code_projects/settings_backup/"

# This is a secondary Dropbox backup
REDUNDANT_BACKUP="$HOME/Dropbox/settings_backup"

function check {
  # check if previous operation returned an error message
  if [ "$?" = "0" ]; then
    echo "Success!"
    echo
  else
    echo "Cannot copy settings!" 1>&2
    exit 1
  fi
  }

echo
echo "Pulling settings to $DESTINATION_DIR..."
cp -r $HOME/{.bashrc,.gitconfig,.pylintrc,.ssh,.vim,.vimrc} "$DESTINATION_DIR"
check

echo "Pulling config files to $DESTINATION_DIR..."
cp -r "$HOME/.config/terminator/" "$DESTINATION_DIR/config_files"
check

echo "Redundant backup in Dropbox..."
cp -r "$DESTINATION_DIR" "$REDUNDANT_BACKUP"
check

echo "Finished pushing settings to sync folder"