fix: write PS4 var

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