Revert "fix: update host aliases"

This reverts commit cc48c11448.

modules/home/users/msyds/emacs/lisp/syd/agda.el

@@ -5,11 +5,18 @@
 
 (defun syd-agda-locate-and-load ()
   (interactive)
-  (let ((agda-mode-path (executable-find "agda-mode")))
-    (load-file
-     (shell-command-to-string
-      (format "%s locate" agda-mode-path))))
-  (setq agda2-program-name (executable-find "agda")))
+  (if-let* ((agda-mode-path (executable-find "agda-mode"))
+            (agda-path (executable-find "agda")))
+      (progn (load-file
+              (shell-command-to-string
+               (format "%s locate" agda-mode-path)))
+             (setq agda2-program-name agda-path))
+    (when-let* ((mikan-path (executable-find "mikan")))
+      (setq agda2-program-name mikan-path)
+      (load-file
+       (let ((coding-system-for-read 'utf-8))
+         (shell-command-to-string
+          (format "%s --emacs-mode locate" mikan-path)))))))
 
 (defface syd-agda2-default
   `((t :font ,(font-spec :family "IBM Plex Sans" :size 17)
@@ -93,7 +100,8 @@
 
   (add-to-list
    'auto-mode-alist
-   '("\\.lagda\\.org\\'" . agda2-mode))
+   `(,(rx ".lagda." (or "org" "md"))
+     . agda2-mode))
 
   (with-eval-after-load 'smartparens
     (sp-local-pair '(agda2-mode) "{!" "!}"))

modules/nixos/deertopia/servarr.nix

@@ -36,7 +36,7 @@ in {
     # Mount our NAS's 'media' share.
     fileSystems."/media" = {
       # DNS is seemingly unavailable to the mount service.
-      device = "//10.0.0.203/media";
+      device = "//192.168.68.62/media";
       mountPoint = "/media";
       fsType = "cifs";
       options = [

modules/nixos/hosts.nix

@@ -4,10 +4,10 @@
   config = {
     networking.hosts = {
       "100.95.131.43" = [ "whitepc" ];
-      "10.0.0.109" = [ "guix-rebound" "sydpc" ];
-      "10.0.0.248" = [ "deertopia" ];
-      "10.0.0.218" = [ "fruitbook" ];
-      "10.0.0.203" = [ "buffalo-nas" ];
+      "192.168.68.66" = [ "guix-rebound" "sydpc" ];
+      "192.168.68.79" = [ "deertopia" ];
+      "192.168.68.55" = [ "fruitbook" ];
+      "192.168.68.62" = [ "buffalo-nas" ];
     };
   };
 }