Skip to content

Instantly share code, notes, and snippets.

@noidi
Created December 8, 2011 16:23
Show Gist options
  • Save noidi/1447488 to your computer and use it in GitHub Desktop.
Save noidi/1447488 to your computer and use it in GitHub Desktop.
# HG changeset patch
# Parent 9105afa7527a99de3620e61cb673416bac1da97b
Specify commit to check out instead of HEAD
diff -r 9105afa7527a PKGBUILD
--- a/PKGBUILD Thu Dec 08 17:38:09 2011 +0200
+++ b/PKGBUILD Thu Dec 08 17:48:11 2011 +0200
@@ -14,7 +14,7 @@
'66425a9e185788f720b466ca1caf5769')
git_location="git://github.com/ccidral/tomighty.git"
-git_branch="master"
+git_commit='50d0094c024f1923bd0d6ff1bf77572ae5f5b5f6'
build() {
cd "$srcdir"
@@ -22,13 +22,13 @@
if [ -d $pkgname-git ] ; then
cd $pkgname-git
- git checkout $git_branch
+ git checkout $git_commit
git pull origin
msg "The local files are updated."
else
git clone $git_location $pkgname-git
cd $pkgname-git
- git checkout $git_branch
+ git checkout $git_commit
fi
msg "GIT checkout done"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment