# HG changeset patch # User HackEso # Date 1573952374 0 # Node ID cdc4c441039049c46a22f079a3a9571eb42a89b6 # Parent 49a4b4d9f2d720cd619847162f5b7dd316e4e987 ` rm /hackenv/tmp-interp diff -r 49a4b4d9f2d7 -r cdc4c4410390 tmp-interp --- a/tmp-interp Sun Nov 17 00:58:53 2019 +0000 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,5 +0,0 @@ -#!/bin/bash -CMD=`echo -n "$1" | cut -d' ' -f1` -ARG="$(echo -n "$1" | cut -d' ' -f2-)" -cd ${HACKENV-/hackenv} -exec ibin/$CMD "$ARG$2"