diff --git a/app/views/record/showterm.erb b/app/views/record/showterm.erb index b6db250..4a48544 100755 --- a/app/views/record/showterm.erb +++ b/app/views/record/showterm.erb @@ -62,12 +62,12 @@ echo "showterm recording. (Exit shell when done.)" script $args -q -t"$timingfile" "$scriptfile" echo "Uploading..." -if curl --fail "$url" --data-urlencode "cols=$cols" --data-urlencode "lines=$lines" --data-urlencode "scriptfile@$scriptfile" --data-urlencode "timingfile@$timingfile" "secret@$HOME/.showterm" +if curl --fail "$url" --data-urlencode "cols=$cols" --data-urlencode "lines=$lines" --data-urlencode "scriptfile@$scriptfile" --data-urlencode "timingfile@$timingfile" --data-urlencode "secret@$HOME/.showterm" then echo "" rm "$scriptfile" "$timingfile" exit 0 else echo "Uploading failed, but don't worry! Your work is safe. You can try uploading again with:" - echo curl "$url" --data-urlencode "cols=$cols" --data-urlencode "lines=$lines" --data-urlencode "scriptfile@$scriptfile" --data-urlencode "timingfile@$timingfile" "secret@$HOME/.showterm" + echo curl "$url" --data-urlencode "cols=$cols" --data-urlencode "lines=$lines" --data-urlencode "scriptfile@$scriptfile" --data-urlencode "timingfile@$timingfile" --data-urlencode "secret@$HOME/.showterm" fi