# HG changeset patch
# User HackBot
# Date 1471485144 0
# Node ID c1a7da5e08dd05c8077428255d05d84371329ab8
# Parent  29fd3693db00ed6ca7a8143dec2098600bb125a2
<oerjan> sled bin/bf//2ishopt -u extglob

diff -r 29fd3693db00 -r c1a7da5e08dd bin/bf
--- a/bin/bf	Thu Aug 18 01:29:59 2016 +0000
+++ b/bin/bf	Thu Aug 18 01:52:24 2016 +0000
@@ -1,4 +1,5 @@
 #! /bin/bash
+shopt -u extglob
 [[ $# > 0 ]] || { echo "Run what?"; exit 1; }
 ci="$*"
 echo -n "${ci#*!}" | /hackenv/interps/egobf/src/egobfi8 <(echo -n "${ci%%!*}")