diff options
| author | 2025-11-30 12:17:38 +0100 | |
|---|---|---|
| committer | 2025-11-30 12:17:38 +0100 | |
| commit | 5cf42ba3319e56d8a9f8cd9754fbaf5555cc16c2 (patch) | |
| tree | f3f51e69c7c98caf799ec91a88ecffd4c76e8a55 | |
| parent | b250e32859a65ff51c443d526a1aabce2310a978 (diff) | |
Replaced cat with shell builtin
| -rw-r--r-- | src/env | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -6,5 +6,5 @@ set _GIT_VALIDATION_REGEX "^(git-(?:upload-pack|receive-pack|upload-archive)) '$ set _GIT_SUDO_GROUP gitsudo set _LOG /var/log/git-run set _PERMISSIONS r w -set _VERSION (cat (status dirname)/version) -set _BANNER (cat (status dirname)/banner | string collect) +set _VERSION (string collect < (status dirname)/version) +set _BANNER (string collect < (status dirname)/banner) |
