changeset 8948:be5cbf1a3f17

<oerjan> ` hg cat -r 8929 bin/bf >bin/bf
author HackBot
date Thu, 18 Aug 2016 03:13:41 +0000
parents ca947af2d517
children 9f4a8184acaa
files bin/bf
diffstat 1 files changed, 2 insertions(+), 4 deletions(-) [+]
line wrap: on
line diff
--- a/bin/bf	Thu Aug 18 02:45:18 2016 +0000
+++ b/bin/bf	Thu Aug 18 03:13:41 2016 +0000
@@ -1,6 +1,4 @@
-#!/bin/bash
+#! /bin/bash
 [[ $# > 0 ]] || { echo "Run what?"; exit 1; }
 ci="$*"
-echo "${ci%%!*}"
-echo "${ci#*!}"
-echo -n "${ci#*!}" | cat -- <(echo -n "${ci%%!*}")
+echo -n "${ci#*!}" | /hackenv/interps/egobf/src/egobfi8 <(echo -n "${ci%%!*}")