nix: simplify

shell.nix

@@ -30,30 +30,6 @@ let
 		fi
 	'';
 
-	runEthernetServer = writeShellScriptBin "run-ethernet-server" ''
-		set-gdb-config-file && cargo run --example ethernet
-	'';
-
-	compileMigenScript = writeShellScriptBin "compile-migen-script" ''
-		python3 migen/fpga_config.py
-		echo "Compiled fpga_config.py to top.bin"
-	'';
-
-	flashFPGAConfig = writeShellScriptBin "flash-fpga-config" ''
-		openocd-flash fpga-config
-	'';
-
-	configureFPGA = writeShellScriptBin "configure-fpga" ''
-		compile-migen-script 					\
-		&& cargo build --example fpga_config	\
-		&& flash-fpga-config
-	'';
-
-	resetFlash = writeShellScriptBin "reset-flash" ''
-		gdb -batch -x gdb_config/reset.gdb
-		echo "Reset is complete, please reset the openocd server."
-	'';
-
 	openocdFlash = writeShellScriptBin "openocd-flash" ''
 	    openocd -f openocd/openocd.cfg -f openocd/$1.cfg
 	'';
@@ -79,11 +55,6 @@ in
 			runOpenOcd
 			runOpenOcdBlock
 			setGDBConfigFile
-			runEthernetServer
-			compileMigenScript
-			flashFPGAConfig
-			configureFPGA
-			resetFlash
 			openocdFlash
 			publishMqtt
 		];