# HG changeset patch
# User HackBot
# Date 1471487333 0
# Node ID b72e5290031deddeb4aabe3ed5752bfe8e73815e
# Parent  d3448fd557aba567342c71ba55c9dcf2d69e105f
<oerjan> sled bin/bf//4iecho "$ci"

diff -r d3448fd557ab -r b72e5290031d bin/bf
--- a/bin/bf	Thu Aug 18 02:02:11 2016 +0000
+++ b/bin/bf	Thu Aug 18 02:28:53 2016 +0000
@@ -1,4 +1,5 @@
 #! /bin/bash
 [[ $# > 0 ]] || { echo "Run what?"; exit 1; }
 ci="$*"
+echo "$ci"
 echo -n "${ci#*!}" | cat -- <(echo -n "${ci%%!*}")