# HG changeset patch # User HackEso # Date 1573828393 0 # Node ID a78307295ae5b44ab53efb4887862d967d15d844 # Parent 0ab73df2eb49668adf8649c1b258d31fea1d3ab4 python3 -cn="bin/allquotes"; a=open(n,"rb").read(); a=a.replace(b\'quotes\',b\'"${HACKENV-/hackenv}/quotes"\'); open(n,"wb").write(a) diff -r 0ab73df2eb49 -r a78307295ae5 bin/allquotes --- a/bin/allquotes Fri Nov 15 14:11:44 2019 +0000 +++ b/bin/allquotes Fri Nov 15 14:33:13 2019 +0000 @@ -1,2 +1,2 @@ #!/bin/sh -nl -w 1 -s ') ' quotes +nl -w 1 -s ') ' "${HACKENV-/hackenv}/quotes"