File: git-reset-file

package info (click to toggle)
git-extras 7.4.0-1
  • links: PTS
  • area: main
  • in suites: forky, sid
  • size: 2,120 kB
  • sloc: sh: 4,312; python: 994; makefile: 146
file content (17 lines) | stat: -rwxr-xr-x 309 bytes parent folder | download | duplicates (2) 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
#!/usr/bin/env bash

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