From 9f3301aa952d7346c72eb1e0f7e2018f1d1567d9 Mon Sep 17 00:00:00 2001 From: Connor Olding Date: Thu, 7 Oct 2021 12:27:19 -0700 Subject: [PATCH] superficial style tweak --- home/bashrc | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/home/bashrc b/home/bashrc index 5e0be39..5d98e70 100644 --- a/home/bashrc +++ b/home/bashrc @@ -37,7 +37,7 @@ ADDPATH "$HOME/sh" # combine everything matching "YES_BASH" in ~/sh/ into ~/.sh-bash. # unlike zsh, we do not check the sha1sum of the output. cd ~/sh \ - && printf "%s\n" '#!/usr/bin/env false' '[ -n "$preload" ] || exit 1' '' \ + && printf "%s\n" '#!/usr/bin/env false' '[ -n "$preload" ] || exit 1' '' \ | cat - $(grep -lF 'YES_BASH' $(find ~/sh -maxdepth 1 -type f)) \ > ~/.sh-bash )