diff options
author | Silvio Rhatto <rhatto@riseup.net> | 2024-08-02 22:20:40 -0300 |
---|---|---|
committer | Silvio Rhatto <rhatto@riseup.net> | 2024-08-02 22:20:40 -0300 |
commit | b2bd615615eba504a04c851769e138b554b97688 (patch) | |
tree | fbd55265584271f81bfd309b2a103b2cbd67a32f | |
parent | 251549d447574f9f20f35c97cb79a24f66eb5c07 (diff) | |
download | utils-git-b2bd615615eba504a04c851769e138b554b97688.tar.gz utils-git-b2bd615615eba504a04c851769e138b554b97688.tar.bz2 |
Fix: sup, rsup: git repository check
-rwxr-xr-x | rsup | 6 | ||||
-rwxr-xr-x | sup | 4 |
2 files changed, 7 insertions, 3 deletions
@@ -57,7 +57,11 @@ function upward_commit { } # Check if it is a git repository -if [ ! -d ".git" ]; then +# Thanks https://stackoverflow.com/questions/4917871/does-git-return-specific-return-error-codes#comment124785102_19441790 +#git status &> /dev/null +#if [ ! -d ".git" ]; then +#if [ "$?" == "128" ]; then +if [ "`git rev-parse --is-inside-work-tree &> /dev/null`" == "true" ]; then echo "$BASENAME: not a git repository" exit 1 fi @@ -39,9 +39,9 @@ GIT="hit" # done #} -# Check if it is a git repository +# Check if it is a git repository, and wheter we're in the top of it if [ ! -d ".git" ]; then - echo "$BASENAME: not a git repository" + echo "$BASENAME: not a git repository, or not in the top-level of that repository" exit 1 fi |