pile

commit f78f294851c724339eca7197325329fb608a7eb1
parent 8370db4a3524a1a682c8facdc76576a9d5f26476
Author: Kévin Le Gouguec <kevin.legouguec@gmail.com>
Date:   Thu, 18 Jun 2026 18:44:40 +0200

Reduce line noise

Amazing what RTFM can teach you.

Diffstat:
M
git/post-receive
 | 
2
+-

1 file changed, 1 insertion(+), 1 deletion(-)
diff --git a/git/post-receive b/git/post-receive
@@ -8,7 +8,7 @@ declare -r SCRIPTS_DIR=$(dirname "$(realpath "$0")")
 
 declare -r WWW_REPO_DIR=$(git remote get-url www)
 
-v () {( set -x ; "$@" )}
+v () ( set -x ; "$@" )
 
 # TODO: Replace --mirror with refs/heads/* refs/tags/*?
 # --mirror pushes refs/remotes/www/* too, so www records goofy www/*