Compare commits

..

No commits in common. "6e1a81b5e3b8fae531cc8d5bfbaf31ddcc0efa99" and "49573ec91e004e20d88a2fe88de3ff1c37551533" have entirely different histories.

9 changed files with 38 additions and 59 deletions

View File

@ -2,32 +2,25 @@
# your system. Help is available in the configuration.nix(5) man page
# and in the NixOS manual (accessible by running nixos-help).
{ config, pkgs, lib, ... }:
{ config, pkgs, ... }:
{
# Optionals
desktop_computer = true;
office = true;
devel.rust = true;
devel.c = true;
devel.haskell = false;
devel.java = false;
devel.ada = true;
devel.asic = false;
desktop_setup = lib.optionals (config.desktop_computer) [./desktop_environment.nix];
imports =
[ # Include the results of the hardware scan.
./hardware-configuration.nix
] ++ config.desktop_setup;
];
# Bootloader.
boot.loader.systemd-boot.enable = true;
boot.loader.efi.canTouchEfiVariables = true;
networking.hostName = "amelia"; # Define your hostname.
networking.hostName = "nixos"; # Define your hostname.
# networking.wireless.enable = true; # Enables wireless support via wpa_supplicant.
# Configure network proxy if necessary
# networking.proxy.default = "http://user:password@proxy:port/";
# networking.proxy.noProxy = "127.0.0.1,localhost,internal.domain";
# Enable networking
networking.networkmanager.enable = true;
@ -55,6 +48,12 @@
variant = "";
};
# Gnome configuration
services.xserver.enable = true;
services.xserver.displayManager.sddm.enable = true;
services.xserver.displayManager.sddm.wayland.enable = true;
services.xserver.desktopManager.plasma6.enable = true;
# Configure console keymap
console.keyMap = "de";
@ -69,14 +68,6 @@
# List packages installed in system profile. To search, run:
# $ nix search wget
pkg.office = lib.optionals (config.office) config.components.office.packages;
pkg.devel.rust = lib.optionals (config.devel.rust) config.components.devel.rust.packages;
pkg.devel.c = lib.optionals (config.devel.c) config.components.devel.c.packages;
pkg.devel.haskell = lib.optionals (config.devel.haskell) config.components.devel.haskell.packages;
pkg.devel.java = lib.optionals (config.devel.java) config.components.devel.java.packages;
pkg.devel.ada = lib.optionals (config.devel.ada) config.components.devel.ada.packages;
pkg.devel.asic = lib.optionals (config.devel.asic) config.components.devel.asic.packages;
additional_packages = config.pkg.office ++ config.pkg.devel.rust ++ config.pkg.devel.c ++ config.pkg.devel.haskell ++ config.pkg.devel.java ++ config.pkg.devel.ada ++ config.pkg.devel.asic;
environment.systemPackages = with pkgs; [
vim
wget
@ -84,9 +75,26 @@
neovim
python313Packages.pynvim
networkmanager
epiphany
nodejs_24
cmake
kitty
hyfetch
] ++ config.additional_packages;
elan
gnat15
ghdl-llvm
gtkwave
gnumake
alire
rustup
yosys
openroad
verilator
iverilog
cargo
docker
rustfmt
];
programs.zsh = {
enable = true;
@ -94,11 +102,11 @@
# Some programs need SUID wrappers, can be configured further or are
# started in user sessions.
programs.mtr.enable = true;
programs.gnupg.agent = {
enable = true;
enableSSHSupport = true;
};
# programs.mtr.enable = true;
# programs.gnupg.agent = {
# enable = true;
# enableSSHSupport = true;
# };
# List services that you want to enable:
@ -106,8 +114,8 @@
services.openssh.enable = true;
# Open ports in the firewall.
networking.firewall.allowedTCPPorts = [ 22 ];
networking.firewall.allowedUDPPorts = [ 22 ];
# networking.firewall.allowedTCPPorts = [ ... ];
# networking.firewall.allowedUDPPorts = [ ... ];
# Or disable the firewall altogether.
# networking.firewall.enable = false;

View File

@ -1,8 +0,0 @@
{
programs.hyprland = {
# Install the packages from nixpkgs
enable = true;
# Whether to enable XWayland
xwayland.enable = true;
};
}

View File

@ -1,3 +0,0 @@
{
ada.packages = [];
}

View File

@ -1,3 +0,0 @@
{
asic.packages = [];
}

View File

@ -1,3 +0,0 @@
{
c.packages = [];
}

View File

@ -1,3 +0,0 @@
{
haskell.packages = [];
}

View File

@ -1,3 +0,0 @@
{
java.packages = [];
}

View File

@ -1,3 +0,0 @@
{
rust.packages = [];
}

View File

@ -1,3 +0,0 @@
{
office.packages = [];
}