gitreef

Unnamed repository; edit this file 'description' to name the repository.
Log | Files | Refs | README | LICENSE

commit 0ed23b92c74945545e97bdd455b4ac3b6564941a
parent 71ba10b3048a25cc56a60dc8ab92d8f23104020b
Author: Matthias Jaros <jaros@mailbox.org>
Date:   Sun, 30 Nov 2025 12:17:38 +0100

Replaced cat with shell builtin

Diffstat:
Msrc/env | 4++--
1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/src/env b/src/env @@ -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)