diff options
| author | Karel Kočí <karel.koci@nic.cz> | 2017-01-09 08:25:27 +0100 |
|---|---|---|
| committer | Karel Kočí <karel.koci@nic.cz> | 2017-01-09 08:25:27 +0100 |
| commit | 0adc093d95468039634a14c402972ff3cee58d8a (patch) | |
| tree | 389e478860c3227c3a0c7197bd65cf7db630e05d | |
| parent | d7f2a7bc49ee1f52dfecd84fd1e04612db89036e (diff) | |
| download | myconfigs-0adc093d95468039634a14c402972ff3cee58d8a.tar.gz myconfigs-0adc093d95468039634a14c402972ff3cee58d8a.tar.bz2 myconfigs-0adc093d95468039634a14c402972ff3cee58d8a.zip | |
I noticed that git repos doesn't work, note it as TODO
| -rw-r--r-- | utils/inst | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -55,6 +55,7 @@ checkdiff() { G="${g#$1}" COMMIT=$( cd "$1/$G" && git rev-parse HEAD ) echo "Checkout of git repository: $2/$G" + # TODO this doesn't seems to work ( cd "$2/$G" && git --work-tree=. checkout -f "$COMMIT" ) done else |