From fbd485cd86c7e9984819357398f912a2d5510845 Mon Sep 17 00:00:00 2001
From: tv <tv@krebsco.de>
Date: Tue, 12 Sep 2023 12:56:39 +0200
Subject: tv: emigrate

---
 tv/1systems/mu/config.nix | 127 ----------------------------------------------
 1 file changed, 127 deletions(-)
 delete mode 100644 tv/1systems/mu/config.nix

(limited to 'tv/1systems/mu/config.nix')

diff --git a/tv/1systems/mu/config.nix b/tv/1systems/mu/config.nix
deleted file mode 100644
index 00cdf84c1..000000000
--- a/tv/1systems/mu/config.nix
+++ /dev/null
@@ -1,127 +0,0 @@
-with import ./lib;
-{ config, pkgs, ... }: {
-  imports = [
-    <stockholm/tv>
-    <stockholm/tv/2configs/br.nix>
-    <stockholm/tv/2configs/exim-retiolum.nix>
-    <stockholm/tv/2configs/hw/x220.nix>
-    <stockholm/tv/2configs/retiolum.nix>
-  ];
-
-  krebs.build.host = config.krebs.hosts.mu;
-  krebs.build.user = mkForce config.krebs.users.vv;
-
-  tv.x0vncserver.enable = true;
-
-  boot.initrd.luks.devices.muca.device = "/dev/sda2";
-  boot.initrd.availableKernelModules = [ "ahci" ];
-  boot.kernelModules = [ "fbcon" "kvm-intel" ];
-  boot.kernelParams = [ "fsck.repair=yes" ];
-  boot.extraModulePackages = [ ];
-
-  fileSystems = {
-    "/" = {
-      device = "/dev/mapper/muvga-root";
-      fsType = "ext4";
-      options = [ "defaults" "discard" ];
-    };
-    "/home" = {
-      device = "/dev/mapper/muvga-home";
-      fsType = "ext4";
-      options = [ "defaults" "discard" ];
-    };
-    "/boot" = {
-      device = "/dev/sda1";
-      fsType = "vfat";
-    };
-  };
-
-  nixpkgs.config.allowUnfree = true;
-  hardware.opengl.driSupport32Bit = true;
-
-  hardware.pulseaudio.enable = true;
-
-  hardware.enableRedistributableFirmware = true;
-
-  boot.loader.efi.canTouchEfiVariables = true;
-  boot.loader.systemd-boot.enable = true;
-
-  networking.networkmanager.enable = true;
-
-  # XXX reload to work around occasional "Failed to load firmware chunk!"
-  # TODO only do this if firmware is actually broken(?)
-  system.activationScripts.reload-iwlwifi = /* sh */ ''
-    ${pkgs.kmod}/bin/modprobe -vr iwlwifi
-    ${pkgs.kmod}/bin/modprobe -v iwlwifi
-  '';
-
-  environment.systemPackages = [
-    pkgs.chromium
-    pkgs.firefox
-    pkgs.gimp
-    pkgs.iptables
-    pkgs.libreoffice
-    pkgs.plasma-pa
-    (pkgs.pidgin.override {
-      plugins = [ pkgs.pidgin-otr ];
-    })
-    pkgs.skypeforlinux
-    pkgs.slock
-    pkgs.tinc_pre
-    pkgs.vim
-    pkgs.xsane
-
-    #pkgs.foomatic_filters
-    #pkgs.gutenprint
-    #pkgs.cups_pdf_filter
-    #pkgs.ghostscript
-  ];
-
-
-  i18n.defaultLocale = "de_DE.UTF-8";
-
-  programs.ssh.startAgent = false;
-
-  krebs.setuid = {
-    slock = {
-      filename = "${pkgs.slock}/bin/slock";
-      mode = "4111";
-    };
-  };
-
-  security.pam.loginLimits = [
-    # for jack
-    { domain = "@audio"; item = "memlock"; type = "-"; value = "unlimited"; }
-    { domain = "@audio"; item = "rtprio"; type = "-"; value = "99"; }
-  ];
-
-  fonts.fonts = [
-    pkgs.xorg.fontschumachermisc
-  ];
-
-  services.xserver.enable = true;
-  services.xserver.layout = "de";
-  services.xserver.xkbOptions = "eurosign:e";
-
-  # TODO this is host specific
-  services.xserver.libinput.enable = false;
-  services.xserver.synaptics = {
-    enable = true;
-    twoFingerScroll = true;
-  };
-
-  services.xserver.desktopManager.plasma5.enable = true;
-
-  services.xserver.displayManager.autoLogin.enable = true;
-  services.xserver.displayManager.autoLogin.user = "vv";
-
-  users.users.vv = {
-    inherit (config.krebs.users.vv) home uid;
-    isNormalUser = true;
-    extraGroups = [
-      "audio"
-      "video"
-      "networkmanager"
-    ];
-  };
-}
-- 
cgit v1.2.3