From 749da5a9457d4e58b8d6af1608ba7641feab05d2 Mon Sep 17 00:00:00 2001
From: occheung <dc@m-labs.hk>
Date: Wed, 16 Sep 2020 17:45:41 +0800
Subject: [PATCH] rm migen edit

---
 shell.nix | 12 +++++-------
 1 file changed, 5 insertions(+), 7 deletions(-)

diff --git a/shell.nix b/shell.nix
index 363b552..e2dd593 100644
--- a/shell.nix
+++ b/shell.nix
@@ -34,10 +34,6 @@ let
 		set-gdb-config-file && cargo run --example ethernet
 	'';
 
-	editMigenScript = writeShellScriptBin "edit-migen-script" ''
-		nano -m migen/fpga_config.py
-	'';
-
 	compileMigenScript = writeShellScriptBin "compile-migen-script" ''
 		python3 migen/fpga_config.py
 		echo "Compiled fpga_config.py to top.bin"
@@ -65,6 +61,10 @@ let
 		echo "Reset is complete, please reset the openocd server."
 	'';
 
+	openocdFlash = writeShellScriptBin "openocd-flash" ''
+	    openocd -f openocd/openocd.cfg -f openocd/$1.cfg
+	'';
+
 in
 	stdenv.mkDerivation {
 		name = "nix-shell";		
@@ -83,13 +83,11 @@ in
 			runOpenOcdBlock
 			setGDBConfigFile
 			runEthernetServer
-			editMigenScript
 			compileMigenScript
 			flashFPGAConfig
 			configureFPGA
 			verifyFPGAConfig
 			resetFlash
+			openocdFlash
 		];
-
-		RUST_BACKTRACE = 1;
 	}