From e6766e5944f49087bc70e42b82ae2c11c4f72ccc Mon Sep 17 00:00:00 2001 From: Marcin Kuzminski Date: Sun, 11 Feb 2018 20:39:24 +0100 Subject: [PATCH] docs: added info about how to remove nix from dev setup. --- docs/contributing/dev-setup.rst | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/docs/contributing/dev-setup.rst b/docs/contributing/dev-setup.rst index 07b7a1a6..6fc70d49 100644 --- a/docs/contributing/dev-setup.rst +++ b/docs/contributing/dev-setup.rst @@ -34,6 +34,13 @@ following commands: Update your channels frequently by running ``nix-channel --update``. +.. note:: + + To uninstall nix run the following: + + remove the . "$HOME/.nix-profile/etc/profile.d/nix.sh" line in your ~/.profile or ~/.bash_profile + rm -rf $HOME/{.nix-channels,.nix-defexpr,.nix-profile,.config/nixpkgs} + sudo rm -rf /nix Switch nix to the latest STABLE channel ---------------------------------------