nixbld: update installed packages

This commit is contained in:
Sebastien Bourdeauducq 2019-09-05 16:47:01 +08:00
parent 8a8f987098
commit 350701c682
1 changed files with 4 additions and 5 deletions

View File

@ -66,7 +66,7 @@ in
# List packages installed in system profile. To search, run: # List packages installed in system profile. To search, run:
# $ nix search wget # $ nix search wget
environment.systemPackages = with pkgs; [ environment.systemPackages = with pkgs; [
wget vim git file lm_sensors acpi pciutils psmisc xc3sprog telnet whois zip unzip yosys symbiyosys yices z3 boolector cvc4 wget vim git file lm_sensors acpi pciutils psmisc xc3sprog openocd telnet whois zip unzip
irssi tmux adoptopenjdk-openj9-bin-11 tigervnc xorg.xauth icewm xterm xorg.xsetroot usbutils virtmanager imagemagick jq irssi tmux adoptopenjdk-openj9-bin-11 tigervnc xorg.xauth icewm xterm xorg.xsetroot usbutils virtmanager imagemagick jq
]; ];
@ -74,7 +74,6 @@ in
# started in user sessions. # started in user sessions.
# programs.mtr.enable = true; # programs.mtr.enable = true;
# programs.gnupg.agent = { enable = true; enableSSHSupport = true; }; # programs.gnupg.agent = { enable = true; enableSSHSupport = true; };
programs.wireshark.enable = true;
# List services that you want to enable: # List services that you want to enable:
@ -100,16 +99,16 @@ in
users.extraGroups.plugdev = { }; users.extraGroups.plugdev = { };
users.extraUsers.sb = { users.extraUsers.sb = {
isNormalUser = true; isNormalUser = true;
extraGroups = ["wheel" "plugdev" "dialout" "lp" "scanner" "wireshark"]; extraGroups = ["wheel" "plugdev" "dialout" "lp" "scanner"];
shell = pkgs.fish; shell = pkgs.fish;
}; };
users.extraUsers.rj = { users.extraUsers.rj = {
isNormalUser = true; isNormalUser = true;
extraGroups = ["wheel" "plugdev" "dialout" "wireshark"]; extraGroups = ["wheel" "plugdev" "dialout"];
}; };
users.extraUsers.astro = { users.extraUsers.astro = {
isNormalUser = true; isNormalUser = true;
extraGroups = ["plugdev" "dialout" "wireshark"]; extraGroups = ["plugdev" "dialout"];
}; };
users.extraUsers.whitequark = { users.extraUsers.whitequark = {
isNormalUser = true; isNormalUser = true;