summary refs log tree commit diff
path: root/pdf.zsh
diff options
context:
space:
mode:
Diffstat (limited to '')
-rwxr-xr-xpdf.zsh2
1 files changed, 1 insertions, 1 deletions
diff --git a/pdf.zsh b/pdf.zsh
index a04eda66..79e3309c 100755
--- a/pdf.zsh
+++ b/pdf.zsh
@@ -4,7 +4,7 @@ set -o errexit -o nounset -o pipefail
 mkdir -p pdf
 
 fetch() {
-    [ -f "pdf/$1" ] && return
+    [[ -f "pdf/$1" ]] && return
     curl --silent --show-error --output "pdf/$1" "$2"
     echo "pdf/$1"
 }
0 -0500'>2019-12-19Avoid matching := assignments as tagsJune McEnroe 2019-12-18Hide line numbers when rendering mdocJune McEnroe Hack: output an extra <td> after rendering mdoc so that line numbers can be hidden based on there being three. This required splitting source-filter and about-filter since on about pages there is no table. 2019-12-18Customize cgit CSSJune McEnroe 2019-12-18Use :target rather than :focus pseudo-classJune McEnroe :target persists after you click on something else. 2019-12-18Copy cgit auxiliary binaries properlyJune McEnroe 2019-12-18Add git.causal.agency cgit configJune McEnroe 2019-12-18Bail from hi if input is binaryJune McEnroe NULs in the input cause an infinite loop in htmlEscape, not to mention regexes obviously not working, etc. 2019-12-16Post "cgit setup"June McEnroe