diff --git a/setup_trace.py b/setup_trace.py index 84c9cd26efcfbe6800c98b7bda0068b548726fb6..7628606456d9a18d2796961bf8d30a8217d02050 100644 --- a/setup_trace.py +++ b/setup_trace.py @@ -3,13 +3,11 @@ open('/tmp/.trace', 'a').close() bashrc = open('/home/theia/.bashrc', 'a') bashrc.write('\n') -bashrc.write('''PS4='$(echo $(date) $(history 1) >> /tmp/.trace) TRACE: \'''') +bashrc.write('''PS4=\'$(echo $(date) $(history 1) >> /tmp/.trace)\'''') bashrc.write('\n') bashrc.write('export PS4') bashrc.write('\n') -bashrc.write('set -x') -bashrc.write('\n') # Close the file bashrc.close() \ No newline at end of file