# HG changeset patch # User Steve Losh # Date 1581289754 18000 # Node ID 61707f342104bbf670cf69f89bf7ec1f887a86a3 # Parent e746b3563ba721ab532d34ca9764672f42770360# Parent dccf3005b8fee7d75e51f17ddfa6cc85476f0974 Merge. diff -r e746b3563ba7 -r 61707f342104 bin/cacl --- a/bin/cacl Sun Feb 09 18:09:10 2020 -0500 +++ b/bin/cacl Sun Feb 09 18:09:14 2020 -0500 @@ -5,5 +5,5 @@ LISPS=("sbcl" "ccl" "abcl" "ecl") LISPS=("sbcl" "ccl") LISPS=("sbcl") -rlwrap ~/src/cacl/cacl-$(shuf -n1 -e "${LISPS[@]}") "$@" +rlwrap ~/src/cacl/build/cacl-$(shuf -n1 -e "${LISPS[@]}") "$@" diff -r e746b3563ba7 -r 61707f342104 bin/pastebin --- a/bin/pastebin Sun Feb 09 18:09:10 2020 -0500 +++ b/bin/pastebin Sun Feb 09 18:09:14 2020 -0500 @@ -2,11 +2,8 @@ set -euo pipefail -PASTE_SHA=$(ssh paste.stevelosh.com 'cat > tmppaste && sha1sum tmppaste | cut -d" " -f1 && mv tmppaste /var/www/paste/`sha1sum tmppaste | cut -d" " -f1`') +PASTE_SHA=$(ssh paste.stevelosh.com -- 'cat > tmppaste && sha1sum tmppaste | cut -d" " -f1 && mv tmppaste /var/www/paste/`sha1sum tmppaste | cut -d" " -f1`') +URL="https://paste.stevelosh.com/$PASTE_SHA" -echo -n "https://paste.stevelosh.com/$PASTE_SHA" | pbcopy -echo -n 'Copied ' -tput bold -pbpaste -tput sgr0 -echo ' to the clipboard.' +echo -n "$URL" | pbcopy +echo "Copied $URL to the clipboard." diff -r e746b3563ba7 -r 61707f342104 bin/pbpaste --- a/bin/pbpaste Sun Feb 09 18:09:10 2020 -0500 +++ b/bin/pbpaste Sun Feb 09 18:09:14 2020 -0500 @@ -2,4 +2,4 @@ set -euo pipefail -xsel --clipboard +xsel --clipboard --output diff -r e746b3563ba7 -r 61707f342104 hgrc --- a/hgrc Sun Feb 09 18:09:10 2020 -0500 +++ b/hgrc Sun Feb 09 18:09:14 2020 -0500 @@ -32,12 +32,8 @@ cacerts = [schemes] -bb = https://bitbucket.org/ -bbs = ssh://hg@bitbucket.org/ gh = git://github.com/ ghs = git+ssh://git@github.com/ -sh = https://hg.sr.ht/~ -shs = ssh://hg@hg.sr.ht/~ hsl = ssh://hsl/repos/ [diff] diff -r e746b3563ba7 -r 61707f342104 remote/bin/freqs --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/remote/bin/freqs Sun Feb 09 18:09:14 2020 -0500 @@ -0,0 +1,1 @@ +../../bin/freqs \ No newline at end of file diff -r e746b3563ba7 -r 61707f342104 remote/bin/hist --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/remote/bin/hist Sun Feb 09 18:09:14 2020 -0500 @@ -0,0 +1,1 @@ +../../bin/hist \ No newline at end of file diff -r e746b3563ba7 -r 61707f342104 remote/bin/props --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/remote/bin/props Sun Feb 09 18:09:14 2020 -0500 @@ -0,0 +1,1 @@ +../../bin/props \ No newline at end of file diff -r e746b3563ba7 -r 61707f342104 servers/bin/freqs --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/servers/bin/freqs Sun Feb 09 18:09:14 2020 -0500 @@ -0,0 +1,1 @@ +../../bin/freqs \ No newline at end of file diff -r e746b3563ba7 -r 61707f342104 servers/bin/hist --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/servers/bin/hist Sun Feb 09 18:09:14 2020 -0500 @@ -0,0 +1,1 @@ +../../bin/hist \ No newline at end of file diff -r e746b3563ba7 -r 61707f342104 servers/bin/props --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/servers/bin/props Sun Feb 09 18:09:14 2020 -0500 @@ -0,0 +1,1 @@ +../../bin/props \ No newline at end of file