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")))
+  (if-let* ((agda-mode-path (executable-find "agda-mode"))
-    (load-file
+            (agda-path (executable-find "agda")))
-     (shell-command-to-string
+      (progn (load-file
-      (format "%s locate" agda-mode-path))))
+              (shell-command-to-string
-  (setq agda2-program-name (executable-find "agda")))
+               (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/home/users/msyds/emacs/lisp/syd/haskell.el

@@ -50,9 +50,7 @@
   :custom (; Show errors in REPL, not popup buffers.
            (haskell-interactive-popup-errors nil)
            (haskell-process-suggest-remove-import-line t)
-           (haskell-process-auto-import-loaded-modules t)
+           (haskell-process-auto-import-loaded-modules t))
-           (haskell-ts-inferior-history-file
-            (file-name-concat syd-data-dir "haskell-ts-inferior-history")))
   :general
   (:keymaps 'haskell-mode-map
    :states '(normal visual motion emacs insert)
@@ -89,7 +87,9 @@
   :custom ((haskell-ts-font-lock-level 4)
            (haskell-ts-ghci "ghci")
            (haskell-ts-inferior-prompt-regexp
-            (rx bol (or "λ> " "|> "))))
+            (rx bol (or "λ> " "|> ")))
+           (haskell-ts-inferior-history-file
+            (file-name-concat syd-data-dir "haskell-ts-inferior-history")))
   :general
   (:keymaps 'haskell-ts-mode-map
    :states '(normal motion)

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" ];
+      "192.168.68.66" = [ "guix-rebound" "sydpc" ];
-      "10.0.0.248" = [ "deertopia" ];
+      "192.168.68.79" = [ "deertopia" ];
-      "10.0.0.218" = [ "fruitbook" ];
+      "192.168.68.55" = [ "fruitbook" ];
-      "10.0.0.203" = [ "buffalo-nas" ];
+      "192.168.68.62" = [ "buffalo-nas" ];
     };
   };
 }