diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2024-06-07 11:07:16 +0200 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2024-06-07 11:07:16 +0200 |
| commit | 0502fceb5382e53b89ec867d66dac5be1a0e7176 (patch) | |
| tree | 0c6b37223d24af072a54ab8f4eab5e934147b6a8 | |
| parent | eea11f14e3184a740964910478dd415f68af7fb0 (diff) | |
| download | debian-edu-fai+itzks-0502fceb5382e53b89ec867d66dac5be1a0e7176.tar.gz debian-edu-fai+itzks-0502fceb5382e53b89ec867d66dac5be1a0e7176.tar.bz2 debian-edu-fai+itzks-0502fceb5382e53b89ec867d66dac5be1a0e7176.zip | |
bin/debian-edu-fai_updateconfigspace: Fix is-inside-(Git-)work-tree check.
| -rwxr-xr-x | bin/debian-edu-fai_updateconfigspace | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/bin/debian-edu-fai_updateconfigspace b/bin/debian-edu-fai_updateconfigspace index eea0e6b..6cb57c6 100755 --- a/bin/debian-edu-fai_updateconfigspace +++ b/bin/debian-edu-fai_updateconfigspace @@ -46,7 +46,7 @@ if [ "${FAI_CONFIGDIR_REAL}" = "/usr/share/debian-edu-fai/fai/config" ]; then echo "ERROR: FAI_CONFIGDIR points to '${FAI_CONFIGDIR_REAL}'." echo "ERROR: Such a setup is not supported..." exit 1 -elif command -v git 1>/dev/null && [ "$(git rev-parse --is-inside-work-tree 2>/dev/null)" = "true" ]; then +elif command -v git 1>/dev/null && [ "$(cd "${FAI_CONFIGDIR_REAL}"; git rev-parse --is-inside-work-tree 2>/dev/null)" = "true" ]; then # FAI config space is managed by Git, don't do anything then... : else |