# HG changeset patch
# User HackBot
# Date 1471485233 0
# Node ID dda4ce7477abbc7314b6226aaaea63788277b196
# Parent  c1a7da5e08dd05c8077428255d05d84371329ab8
<oerjan> sled bin/bf//2cshopt -u extglob globstar

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