From 53495ad5a6aa17d6d7631f0a47169d6b43275e89 Mon Sep 17 00:00:00 2001 From: Zoe Carver Date: Wed, 23 Aug 2017 14:23:30 -0700 Subject: [PATCH] fixing so that it writes to ./repl/tmp.pn instead of ./rmp.pn --- repl/repl.sh | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/repl/repl.sh b/repl/repl.sh index 706894f..4f3eb01 100644 --- a/repl/repl.sh +++ b/repl/repl.sh @@ -1,21 +1,21 @@ #!/bin/bash -echo "" > tmp.pn; +echo "" > ./repl/tmp.pn; while [ true ] do read -p "> " cmd; if [ "$cmd" == ".clear" ]; then - echo "" > tmp.pn; + echo "" > ./repl/tmp.pn; clear; echo "[cleared]"; elif [ "$cmd" == ".exit" ]; then exit 0; elif [ "$cmd" == ".read" ]; then - cat tmp.pn; + cat ./repl/tmp.pn; else - echo $cmd >> tmp.pn; + echo $cmd >> ./repl/tmp.pn; echo " -- "; - ./pinecone tmp.pn; + ./pinecone ./repl/tmp.pn; fi -done \ No newline at end of file +done