EXP radio

README.md

@@ -112,13 +112,13 @@ Pour résoudre les soucis d'upgrade, il est conseillé :
 * se connecter à la machine
 * passer en root
 
-~~~
+~~~bash
 sudo su -
 ~~~
 
 * formater les partitions
 
-~~~
+~~~bash
 mkfs.ext4 -L nixos /dev/sda1
 swapoff -a
 mkswap /dev/sda2
@@ -127,24 +127,28 @@ swapon -a
 
 * monter les partitions dans /mnt
 
-~~~
+~~~bash
 mount /dev/sda1 /mnt/
 mkdir /mnt/etc/
+mkdir /mnt/etc/nixos
 mkdir /etc/nixos
 mkdir /mnt/nix
+mkdir /nix
 mount --bind /mnt/nix/ /nix
+mkdir /mnt/tmp
+mount --bind /mnt/tmp /tmp
 ~~~
 
 
 * installer les paquets nécessaires
 
-~~~
+~~~bash
 apt-get install bzip2 git byobu htop glances
 ~~~
 
 * création d'utilisateur (n'importe quil mot de passe)
 
-~~~
+~~~bash
 adduser nix
 groupadd -r nixbld
 for n in $(seq 1 10); do useradd -c "Nix build user $n" -d /var/empty -g nixbld -G nixbld -M -N -r -s "$(which nologin)" nixbld$n; done
@@ -152,14 +156,14 @@ for n in $(seq 1 10); do useradd -c "Nix build user $n" -d /var/empty -g nixbld
 
 * mise-à-jour des certificats
 
-~~~
+~~~bash
 update-ca-certificates
 ~~~
 
 * installer nix
 
-~~~
-chown -R nix /nix
+~~~bash
+chown -R nix /nix /tmp
 su - nix
 bash <(curl https://nixos.org/nix/install)
 exit
@@ -167,22 +171,22 @@ exit
 
 * créer un profil nix pour root & un channel
 
-~~~
+~~~bash
 . ~nix/.nix-profile/etc/profile.d/nix.sh
 nix-channel --remove nixpkgs
-nix-channel --add http://nixos.org/channels/nixos-unstable nixos
+nix-channel --add https://nixos.org/channels/nixos-unstable nixos
 nix-channel --update
 ~~~
 
 * installer un editeur de texte
 
-~~~
+~~~bash
 nix-env -i vim_configurable
 ~~~
 
 * installation de nixos-install
 
-~~~
+~~~bash
 cat <<EOF > /root/configuration.nix
 { fileSystems."/" = {};
   boot.loader.grub.enable = false;
@@ -201,7 +205,7 @@ nix-env -i -A config.system.build.nixos-install \
 si la machine existe déjà, cloner le dépôt dans /mnt/etc/nixos
 pour cela, créer clef ssh et l'ajouter sur la forge
 
-~~~
+~~~bash
 ssh-keygen -t ed25519
 cp ~/.ssh/id_ed25519* /mnt/etc/nixos/
 
@@ -212,13 +216,13 @@ git submodule update
 
 * monter /etc/nixos vers /mnt/etc/nixos pour que la config clonée fonctionne
 
-~~~
+~~~bash
 mount --bind /mnt/etc/nixos/ /etc/nixos/
 ~~~
 
 * mettre à jour la configuration matérielle
 
-~~~
+~~~bash
 export NIX_PATH=nixpkgs=/root/.nix-defexpr/channels/nixos:nixos=/root/.nix-defexpr/channels/nixos/nixos
 nixos-generate-config --root /mnt
 ~~~
@@ -229,7 +233,7 @@ notamment le périphérique utilisé par grub
 
 * installer le système sur le disque
 
-~~~
+~~~bash
 unset NIXOS_CONFIG
 nixos-install
 ~~~

applications/graphical/bureautique.nix

@@ -24,7 +24,7 @@ mkIf (flags.officeSuite && flags.graphical) {
     ## Editeur de texte
     #lyx          # surcouche WISIWIM à LaTeX
     #focuswriter  # outil pour l'écriture
-    textadept     # un éditeur de texte facile pour copier-coller graphique
+    #textadept     # un éditeur de texte facile pour copier-coller graphique
     #zim          # outil de prise de notes, wiki de bureau
 
     ## Visionneuse

applications/radio.nix

@@ -0,0 +1,54 @@
+{ config, lib, pkgs, ... }:
+
+let
+  inherit (lib) mkIf mkMerge mkThenElse;
+  annuaire = config.r6d.machines;
+  currentMachine = annuaire."${config.networking.hostName}";
+  flags = currentMachine.configurationFlags;
+in
+
+mkIf true {
+
+# pour que ça marche
+# sudo rmmod dvb_usb_rtl28xxu
+
+# lecture radio FM
+# rtl_fm -f 96.9e6 -M wbfm -s 440000 -r 44100 - | aplay -r 44100 -f S16_LE
+# rtl_fm -f 96.95e6 -M wbfm -s 441000 -r 44100 - | aplay -r 44100 -f S16_LE -t raw -c 1
+# rtl_fm -f 96.95e6 -M wbfm -s 441000 -r 44100 -E deemp - |pv| aplay -r 44100 -f S16_LE -t raw -c 1
+
+  # Paquets
+  environment.systemPackages = with pkgs; [
+    ## TERMINAL
+    rtl-sdr       # Turns your Realtek RTL2832 based DVB dongle into a SDR receiver
+
+    ## GUI
+    #gnuradio
+    gnuradio-with-packages
+
+    ## A Trier
+    gnss-sdr    # Global Navigation Satellite Systems software-defined receiver
+    #gnuradio    # Software Defined Radio (SDR) software
+    #gnuradio-osmosdr  # Gnuradio block for OsmoSDR and rtl-sdr
+    gqrx          # GUI
+    inspectrum    # Tool for analysing captured signals from sdr receivers
+    kalibrate-rtl # Calculate local oscillator frequency offset in RTL-SDR devices
+
+
+    # Inutile
+    #hackrf        # An open source SDR platform
+
+  ];
+
+  nixpkgs.config.packageOverrides = pkgs: {
+    gnuradio-with-packages = pkgs.gnuradio-with-packages.override {
+      extraPackages = with pkgs; [
+        gnuradio-ais
+        gnuradio-gsm
+        gnuradio-nacl
+        gnuradio-osmosdr
+        gnuradio-rds
+      ];
+    };
+  };
+}

applications/terminal/adminsys.nix

@@ -22,8 +22,9 @@ mkIf true {
     ntp
     powerline-fonts
     powertop
-    python27Packages.ansible2
+    #python27Packages.ansible2
     python27Packages.glances
+    pv            # afficher le débit d'un flux     dd if=/dev/zero | pv | dd of=/dev/null
     sysstat       # pour la commande "iostat -x -1" de monitoring d'activité disque
     usbutils
 

applications/terminal/developpement-haskell.nix

@@ -23,7 +23,8 @@ mkIf flags.developpement-haskell {
     ghc-mod               # outil d'analyse de code haskell utilisé par IDE
     hindent               # indentation code
     hlint                 # qualite de code, analyse statique de code + astuces & bonnes pratiques
-    postgrest             # mapper HTTP <-> PostgreSQL
+    #postgrest            # mapper HTTP <-> PostgreSQL
+    servant               # génération d'API REST
     stylish-haskell       # qualité de code
     turtle                # genre shell-scripting
 

services/hydra-core.nix

@@ -76,7 +76,7 @@ mkIf flags.hydra-core {
   ### Machines connues
 
   programs.ssh.knownHosts = {
-    "hydra.prunetwork.fr".publicKey     = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIHqja/yYsQeS5amZKPUG+EKSIkjEN6fYW54Fzvj1pFaP";
+    "hydra.prunetwork.fr".publicKey     = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIDYrZu31+/ybhel7LNPNgsALEoMHwTc1OiTcmJnXZ3He";
     "monstre.dubronetwork.fr".publicKey = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIBTTrLhq1Cwm0rpnwEIxSLqVrJWZnt+/9dt+SKd8NiIc";
     "pedro.dubronetwork.fr".publicKey   = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAIM7fjo2ysLqlfSo6BKnc6I6m1ayoPrbwEEyTKZmUzsOD";
     "ocean.prunetwork.fr".publicKey     = "ssh-ed25519 AAAAC3NzaC1lZDI1NTE5AAAAINCaRuTl8iCTUE4XInOpkSlwQj5Re4w4Iq+gNIlJe8pA";

services/monitoring-munin.nix

@@ -21,6 +21,15 @@ mkIf flags.munin {
   ## Noeud de supervision munin = pas de stockage des données locales
   services.munin-node = {
     enable = true;
+    extraConfig = ''
+      # Ignore the apc_nis plugin, as it throws errors as I don't have an UPS.
+      # It's there because munin-node-configure is called with the contrib group,
+      # and the plugin has no method to check whether there's a compatible UPS available.
+      ignore_file ^apc_nis$
+
+      ignore_file ^sensors_-wrapped$
+      ignore_file ^.sensors_-wrapped$
+    '';
   };
   systemd.services.munin-node = {
     path = with pkgs; [ munin lm_sensors ];
@@ -41,7 +50,7 @@ mkIf flags.munin {
         address 127.0.0.1
     '';
     extraGlobalConfig = ''
-      contact.email.command ${pkgs.mutt}/bin/mutt -F /etc/nixos/base/public/services/munin-muttrc -s "Munin notification for ''${var:host}" root@prunetwork.fr
+      contact.email.command ${pkgs.mutt}/bin/mutt -F /etc/nixos/base/services/munin-muttrc -s "Munin notification for ''${var:host}" root@prunetwork.fr
     '';
   };
 

services/pulseaudio.nix

@@ -9,6 +9,9 @@ in
 
 mkIf flags.pulseaudio {
 
+  # Notes
+  # commande pour lister les cartes son : pacmd list-cards
+
   # Paquets
   environment.systemPackages = with pkgs; [
     paprefs       # préferences pulseaudio