From 4aec62bfc338907430ed83149e468d7608590350 Mon Sep 17 00:00:00 2001 From: Sebastien Bourdeauducq Date: Sat, 16 Feb 2019 00:33:08 +0800 Subject: [PATCH] back up /etc/nixos/configuration.nix --- nixbld-configuration.nix | 159 +++++++++++++++++++++++++++++++++++++++ 1 file changed, 159 insertions(+) create mode 100644 nixbld-configuration.nix diff --git a/nixbld-configuration.nix b/nixbld-configuration.nix new file mode 100644 index 0000000..bd834c5 --- /dev/null +++ b/nixbld-configuration.nix @@ -0,0 +1,159 @@ +# Edit this configuration file to define what should be installed on +# your system. Help is available in the configuration.nix(5) man page +# and in the NixOS manual (accessible by running ‘nixos-help’). + +{ config, pkgs, ... }: + +{ + imports = + [ # Include the results of the hardware scan. + ./hardware-configuration.nix + ]; + + # Use the systemd-boot EFI boot loader. + boot.loader.systemd-boot.enable = true; + boot.loader.efi.canTouchEfiVariables = true; + + networking.hostName = "nixbld"; # 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"; + + # Select internationalisation properties. + i18n = { + consoleFont = "Lat2-Terminus16"; + consoleKeyMap = "de"; + defaultLocale = "en_US.UTF-8"; + }; + + # Set your time zone. + time.timeZone = "Asia/Hong_Kong"; + + # List packages installed in system profile. To search, run: + # $ nix search wget + environment.systemPackages = with pkgs; [ + wget vim git file lm_sensors acpi psmisc xc3sprog telnet whois zip unzip yosys symbiyosys yices z3 boolector cvc4 + irssi tmux adoptopenjdk-openj9-bin-11 tightvnc icewm xterm xorg.xsetroot usbutils + ]; + + # 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; }; + + # List services that you want to enable: + + # Enable the OpenSSH daemon. + services.openssh.enable = true; + + # Open ports in the firewall. + networking.firewall.allowedTCPPorts = [ 631 3000 5801 5901 6001 ]; + networking.firewall.allowedUDPPorts = [ 631 ]; + # Or disable the firewall altogether. + # networking.firewall.enable = false; + + # Enable CUPS to print documents. + services.avahi.enable = true; + services.avahi.publish.enable = true; + services.avahi.publish.userServices = true; + services.printing.enable = true; + services.printing.drivers = [ pkgs.hplipWithPlugin ]; + services.printing.browsing = true; + services.printing.listenAddresses = [ "*:631" ]; + services.printing.defaultShared = true; + hardware.sane.enable = true; + hardware.sane.extraBackends = [ pkgs.hplipWithPlugin ]; + + # Enable sound. + # sound.enable = true; + # hardware.pulseaudio.enable = true; + + # Enable the X11 windowing system. + # services.xserver.enable = true; + # services.xserver.layout = "us"; + # services.xserver.xkbOptions = "eurosign:e"; + + # Enable touchpad support. + # services.xserver.libinput.enable = true; + + # Enable the KDE Desktop Environment. + # services.xserver.displayManager.sddm.enable = true; + # services.xserver.desktopManager.plasma5.enable = true; + + users.extraGroups.plugdev = { }; + users.extraUsers.sb = { + isNormalUser = true; + extraGroups = ["networkmanager" "wheel" "plugdev" "dialout" "lp" "scanner"]; + uid = 1000; + }; + security.sudo.wheelNeedsPassword = false; + services.udev.packages = [ pkgs.openocd ]; + services.udev.extraRules = '' +ACTION=="add", SUBSYSTEM=="tty", \ + ENV{ID_SERIAL}=="FTDI_Quad_RS232-HS", \ + ENV{ID_PATH}=="pci-0000:00:14.0-usb-0:5:1.1", \ + SYMLINK+="ttyUSB_sayma-1_0" +ACTION=="add", SUBSYSTEM=="tty", \ + ENV{ID_SERIAL}=="FTDI_Quad_RS232-HS", \ + ENV{ID_PATH}=="pci-0000:00:14.0-usb-0:5:1.2", \ + SYMLINK+="ttyUSB_sayma-1_1" + +ACTION=="add", SUBSYSTEM=="tty", \ + ENV{ID_SERIAL}=="FTDI_Quad_RS232-HS", \ + ENV{ID_PATH}=="pci-0000:00:14.0-usb-0:1:1.2", \ + SYMLINK+="ttyUSB_kasli-n1" + + ''; + + nixpkgs.config.allowUnfree = true; + + services.postgresql = { + enable = true; + enableTCPIP = true; + authentication = pkgs.lib.mkOverride 10 '' + local all all trust + host all all ::1/128 trust + ''; + initialScript = pkgs.writeText "backend-initScript" '' + CREATE ROLE hydra WITH LOGIN PASSWORD 'hydra' CREATEDB; + CREATE DATABASE hydra; + GRANT ALL PRIVILEGES ON DATABASE hydra TO hydra; + ''; + }; + + services.hydra = { + enable = true; + package = pkgs.hydra.overrideAttrs (oldAttrs: { + src = pkgs.fetchFromGitHub { + owner = "m-labs"; + repo = "hydra"; + rev = "6d511f43da4317f8f44ed75accf369bd3da95890"; + sha256 = "0yysj9sinki05r3kri4krdn6p8js5cngjmd7gf2ckc4rhibyicwx"; + }; + }); + hydraURL = "https://nixbld.m-labs.hk"; + notificationSender = "hydra@m-labs.hk"; + minimumDiskFree = 2; # in GB + minimumDiskFreeEvaluator = 1; + buildMachinesFiles = []; + extraConfig = '' + binary_cache_secret_key_file = /etc/nixos/secret/nixbld.m-labs.hk-1 + max_output_size = 4294967296 + ''; + }; + + nix.extraOptions = '' + secret-key-files = /etc/nixos/secret/nixbld.m-labs.hk-1 + ''; + nix.sandboxPaths = ["/opt"]; + nix.maxJobs = 4; + + # This value determines the NixOS release with which your system is to be + # compatible, in order to avoid breaking some software such as database + # servers. You should change this only after NixOS release notes say you + # should. + system.stateVersion = "18.09"; # Did you read the comment? + +}