1 files changed, 3 insertions, 0 deletions
diff --git a/env.sh b/env.sh
new file mode 100644
index 0000000..99fb242
--- /dev/null
+++ b/env.sh
@@ -0,0 +1,3 @@
+#!/bin/sh
+export PATH="$PATH:$(dirname "${BASH_SOURCE[0]}")/pintos-progos/utils"
+export PATH="/opt/bochs/bin:$PATH"

diff --git a/env.sh b/env.sh new file mode 100644 index 0000000..99fb242 --- /dev/null +++ b/env.sh
@@ -0,0 +1,3 @@
	1	#!/bin/sh
	2	export PATH="$PATH:$(dirname "${BASH_SOURCE[0]}")/pintos-progos/utils"
	3	export PATH="/opt/bochs/bin:$PATH"