diff options
| author | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2023-11-19 09:49:40 +0100 |
|---|---|---|
| committer | Mike Gabriel <mike.gabriel@das-netzwerkteam.de> | 2023-11-19 09:51:01 +0100 |
| commit | bec92b63f8104928b258122a8ec9fa0c9377ef1f (patch) | |
| tree | a7118fad61020c8aff2907409c6e899f140bce66 | |
| parent | b0fe4d530a68e47294c8076707a4cd59d6615bd2 (diff) | |
| download | debian-edu-fai+itzks-bec92b63f8104928b258122a8ec9fa0c9377ef1f.tar.gz debian-edu-fai+itzks-bec92b63f8104928b258122a8ec9fa0c9377ef1f.tar.bz2 debian-edu-fai+itzks-bec92b63f8104928b258122a8ec9fa0c9377ef1f.zip | |
bin/debian-edu-router-fai_updateconfigspace: Fix quoting typo in git command.
| -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 3d03349..eea0e6b 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 && [ "$(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 |