bad/devos
1
0
Fork 0
Code Issues 1 Pull requests Projects Releases Wiki Activity

develop: move compression tools to zsh profile

Browse source
This commit is contained in:
Timothy DeHerrera 2019-12-15 00:27:41 -07:00
parent ab896c6dd7
commit b05b75bcfd
No known key found for this signature in database
GPG key ID: 8985725DB5B0C122
2 changed files with 10 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

12
profiles/develop/default.nix
View file

@ -18,21 +18,15 @@
}; };
environment.systemPackages = with pkgs; [ environment.systemPackages = with pkgs; [
bzip2 file
git-crypt git-crypt
gnupg
htop htop
less less
gzip
file
lrzip
ncdu ncdu
p7zip
tokei
tig tig
unrar tokei
unzip
wget wget
xz
]; ];
programs.thefuck.enable = true; programs.thefuck.enable = true;

7
profiles/develop/zsh/default.nix
View file

@ -41,10 +41,17 @@ in
}; };
systemPackages = with pkgs; [ systemPackages = with pkgs; [
bzip2
direnv direnv
gitAndTools.hub gitAndTools.hub
gzip
lrzip
p7zip
skim skim
unrar
unzip
zsh-completions zsh-completions
xz
]; ];
}; };