# HG changeset patch # User HackBot # Date 1455498876 0 # Node ID 84510f909a74c66d2138337c5792473cdf8a39af # Parent ba3efb015e61b9ca90e8ee6e23c82d4ccc1894e9 ` echo \'key=${1,,}; shift; cat <<< "${*,,}" > "wisdom/$key" && echo "Learned \xc2\xab$key\xc2\xbb"\' > le/nn diff -r ba3efb015e61 -r 84510f909a74 le/nn --- /dev/null Thu Jan 01 00:00:00 1970 +0000 +++ b/le/nn Mon Feb 15 01:14:36 2016 +0000 @@ -0,0 +1,1 @@ +key=${1,,}; shift; cat <<< "${*,,}" > "wisdom/$key" && echo "Learned «$key»"