# HG changeset patch # User HackBot # Date 1378918345 0 # Node ID cdad634c391f5ff7c14c651986a6befca3373484 # Parent 6d40e8984cf7dc39418d51302b80c4845abd059e echo \'#!/bin/sh\' > bin\\`; echo \'exec bash -c "$*"\' >>bin/\\`; chmod +x bin/\\` diff -r 6d40e8984cf7 -r cdad634c391f bin/` --- a/bin/` Wed Sep 11 16:52:04 2013 +0000 +++ b/bin/` Wed Sep 11 16:52:25 2013 +0000 @@ -1,2 +1,3 @@ exec "$@" exec bash -c "$@" +exec bash -c "$*"