Welcome To Our Shell

Mister Spy & Souheyl Bypass Shell

#!/usr/bin/env bash
# reset environment variables that could interfere with normal usage
unset GREP_OPTIONS
# put all utility functions here

# make a temporary file
git_extra_mktemp() {
    mktemp -t "$(basename "$0")".XXXXXXX
}

#
# check whether current directory is inside a git repository
#

is_git_repo() {
  git rev-parse --show-toplevel > /dev/null 2>&1
  result=$?
  if test $result != 0; then
    >&2 echo 'Not a git repo!'
    exit $result
  fi
}

is_git_repo

file="$1"
commit="$2"

if [[ -f $file ]]; then
	git rm --cached -q -f -- $file
	if [[ -z $commit ]]; then	
		git checkout HEAD -- $file
		echo "Reset '$1' to HEAD"
	else
		git checkout $commit -- $file
		echo "Reset '$1' to $commit"
	fi
else 
	echo "File '$1' not found in `pwd`"
fi