From 848cd28d4480a436f43ea8f3801ebc9474dc6fac Mon Sep 17 00:00:00 2001
From: Sebastien Bourdeauducq <sb@m-labs.hk>
Date: Tue, 28 Apr 2020 15:02:59 +0800
Subject: [PATCH] shell.nix: remove openocd/gdb

Regular development flow is with remote_run.sh, and those packages are easy to install manually if needed.
Also make the environment complete and usable in nix-shell --pure.
---
 shell.nix | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/shell.nix b/shell.nix
index e3ba2e6..7fcb5f3 100644
--- a/shell.nix
+++ b/shell.nix
@@ -34,10 +34,10 @@ in
       rustPlatform.rust.rustc
       rustPlatform.rust.cargo
       rustcSrc
+      pkgs.cacert
       pkgs.cargo-xbuild
 
-      pkgs.openocd
-      pkgs.gdb
+      pkgs.openssh pkgs.rsync
 
       (pkgs.python3.withPackages(ps: (with artiqpkgs; [ migen migen-axi misoc artiq ])))
       vivado