Compare commits

..
11 Commits
Author SHA1 Message Date
msyds 20fbfcc9ce upgrade
build / build (push) Failing after 1m34s
2026-10-17 17:54:16 -06:00
msyds 824884f475 fix: haskell-mode에서 kakapo-mode를 사용
build / build (push) Successful in 3m5s
2026-10-04 13:05:53 -06:00
msyds 383182c24e Revert "fix: update host aliases"
build / build (push) Successful in 1m19s
This reverts commit cc48c11448.
2026-09-10 15:10:41 -06:00
msyds ff20b976ad Revert "fix(servarr): update ip"
This reverts commit 8e9be9e05d.
2026-09-10 15:10:41 -06:00
msyds 67cb7f35e6 fix(emacs): syntax.. 2026-09-03 07:40:17 -06:00
msyds 6527b0a274 feat(emacs): support mikan in place of agda 2026-09-02 08:14:35 -06:00
msyds f8936662c2 fix(emacs): set haskell-ts vars in haskell-ts
build / build (push) Successful in 59s
2026-09-02 07:57:06 -06:00
msyds cb3119a897 fix(emacs): eshell enter
build / build (push) Successful in 1m48s
2026-09-02 07:55:42 -06:00
msyds f6c4b58d9e fix(emacs): flycheck lsp 2026-09-02 07:55:33 -06:00
msyds cffe715e30 feat(emacs): haskell-ts-mode 2026-09-02 07:55:33 -06:00
msyds 28cc8474cd fix(emacs): start with graphical session 2026-08-29 02:28:46 -06:00
21 changed files with 355 additions and 167 deletions

No files matched your search

Generated
+166 -131
View File
@@ -76,11 +76,11 @@
] ]
}, },
"locked": { "locked": {
"lastModified": 1787524125, "lastModified": 1792020613,
"narHash": "sha256-P48TOQdIbB0PKMn4FTk6X0utbf0LemNlJ+bFcSbveGA=", "narHash": "sha256-31skutSMYGBAvGK5vs6wPGXAV4s0ietf1doMynL9FfI=",
"owner": "9001", "owner": "9001",
"repo": "copyparty", "repo": "copyparty",
"rev": "9de090265f8d063056320f41d984830839017a2f", "rev": "8b4593c9a286791eb5dc40862fa24198cea4def7",
"type": "github" "type": "github"
}, },
"original": { "original": {
@@ -89,16 +89,33 @@
"type": "github" "type": "github"
} }
}, },
"dank-qml-common": {
"flake": false,
"locked": {
"lastModified": 1791392812,
"narHash": "sha256-id6Y5XNO5K3KfXSOsEYVUwiq1ygYGNX5LeKSgHM3GR8=",
"owner": "AvengeMedia",
"repo": "dank-qml-common",
"rev": "1ae722232da7110d26cd2c355b6615e078e94197",
"type": "github"
},
"original": {
"owner": "AvengeMedia",
"ref": "stable-1.6",
"repo": "dank-qml-common",
"type": "github"
}
},
"disko": { "disko": {
"inputs": { "inputs": {
"nixpkgs": "nixpkgs" "nixpkgs": "nixpkgs"
}, },
"locked": { "locked": {
"lastModified": 1781152676, "lastModified": 1789770686,
"narHash": "sha256-RxWs5ND31KzTG7wvMM+PMfUjyNpmIEr999lqNARaM5o=", "narHash": "sha256-uZkBR7yHdIKUFB5SZdfgh1qkGfI3XmYmI/lTiquxbck=",
"owner": "nix-community", "owner": "nix-community",
"repo": "disko", "repo": "disko",
"rev": "ff8702b4de27f72b4c78573dfb89ec74e36abdf1", "rev": "725ea35e410ad83be4931d1bff7e090eacaf3563",
"type": "github" "type": "github"
}, },
"original": { "original": {
@@ -109,17 +126,18 @@
}, },
"dms": { "dms": {
"inputs": { "inputs": {
"dank-qml-common": "dank-qml-common",
"flake-compat": "flake-compat", "flake-compat": "flake-compat",
"nixpkgs": [ "nixpkgs": [
"nixpkgs" "nixpkgs"
] ]
}, },
"locked": { "locked": {
"lastModified": 1785111455, "lastModified": 1791395223,
"narHash": "sha256-aTNuC9NDBnYAeEtFsleeUwmGX3AZlKOutbl+LQRPkmQ=", "narHash": "sha256-yDBOoDewH8LwfsZrG4x5vaCstmp6w2vV70j9hC6dIuk=",
"owner": "AvengeMedia", "owner": "AvengeMedia",
"repo": "DankMaterialShell", "repo": "DankMaterialShell",
"rev": "069ddab041c738236a8910e4c39b65d9628d3018", "rev": "4a87e8227daf0840b3376fd5e7f891f5900165a6",
"type": "github" "type": "github"
}, },
"original": { "original": {
@@ -135,11 +153,11 @@
"nixpkgs-stable": "nixpkgs-stable" "nixpkgs-stable": "nixpkgs-stable"
}, },
"locked": { "locked": {
"lastModified": 1787979720, "lastModified": 1792180742,
"narHash": "sha256-HlZp8BnRkHxx7p7fcCeW67/VYzjJAzyFRmrvZqiISEU=", "narHash": "sha256-6dCXuiEEn1cIyvWKmbTSrqw//J6dQXXZ3dgAS3/eNG8=",
"owner": "nix-community", "owner": "nix-community",
"repo": "emacs-overlay", "repo": "emacs-overlay",
"rev": "0f8471b870c51c3ed6dcd09c01e88bb0f790da01", "rev": "aa5307a6eeefa515511dfdca4972b8ed3fcf0130",
"type": "github" "type": "github"
}, },
"original": { "original": {
@@ -181,24 +199,6 @@
} }
}, },
"flake-parts": { "flake-parts": {
"inputs": {
"nixpkgs-lib": "nixpkgs-lib"
},
"locked": {
"lastModified": 1785627969,
"narHash": "sha256-4dtXQk/NMePegK/nWp5NSeuZKLATItOq61lpEvmXqGw=",
"owner": "hercules-ci",
"repo": "flake-parts",
"rev": "427bf4bd9435fdf21321c8cc628c24efc14c0f7a",
"type": "github"
},
"original": {
"owner": "hercules-ci",
"repo": "flake-parts",
"type": "github"
}
},
"flake-parts_2": {
"inputs": { "inputs": {
"nixpkgs-lib": [ "nixpkgs-lib": [
"nur", "nur",
@@ -219,7 +219,7 @@
"type": "github" "type": "github"
} }
}, },
"flake-parts_3": { "flake-parts_2": {
"inputs": { "inputs": {
"nixpkgs-lib": [ "nixpkgs-lib": [
"stylix", "stylix",
@@ -331,11 +331,11 @@
"nixpkgs": "nixpkgs_3" "nixpkgs": "nixpkgs_3"
}, },
"locked": { "locked": {
"lastModified": 1787797243, "lastModified": 1792098797,
"narHash": "sha256-8+Q7NOB7RPajRjA4pbCDLzqH+MTjnG9x6LUPLfL2joA=", "narHash": "sha256-u4DIIZgznEGzByxXrxWCXK19VcMtTBmi/M9gZ7Jk9bM=",
"owner": "nix-community", "owner": "nix-community",
"repo": "home-manager", "repo": "home-manager",
"rev": "99c9ec63390f1d8c14d95d9e8b17cc29cfbd4e11", "rev": "640725978b99076e18e069f6e7d2959124584f8f",
"type": "github" "type": "github"
}, },
"original": { "original": {
@@ -365,6 +365,28 @@
"type": "github" "type": "github"
} }
}, },
"home-manager_3": {
"inputs": {
"nixpkgs": [
"nixcord",
"nixpkgs"
]
},
"locked": {
"lastModified": 1790996401,
"narHash": "sha256-f+kOxEmOUnQazVAmGg0i8hzwgd1kX/geY+k/Dpheye8=",
"owner": "nix-community",
"repo": "home-manager",
"rev": "db7d5e2332710f5abb088f6b5de927d7f9511b35",
"type": "github"
},
"original": {
"owner": "nix-community",
"ref": "release-26.05",
"repo": "home-manager",
"type": "github"
}
},
"impermanence": { "impermanence": {
"inputs": { "inputs": {
"home-manager": "home-manager_2", "home-manager": "home-manager_2",
@@ -394,11 +416,11 @@
"xwayland-satellite-unstable": "xwayland-satellite-unstable" "xwayland-satellite-unstable": "xwayland-satellite-unstable"
}, },
"locked": { "locked": {
"lastModified": 1787937511, "lastModified": 1792134012,
"narHash": "sha256-y8G4daKwwkm28VIQ6esMN2qg5u66Kqb4TwMs90STnQc=", "narHash": "sha256-YK8MkJnjeOePSoLXuQigqf4bg/BePOEFcB9EGIOL5gE=",
"owner": "epireyn", "owner": "epireyn",
"repo": "niri-flake", "repo": "niri-flake",
"rev": "16c59792de64470ad162d0ff080e3b3318ffaa5c", "rev": "09a0fe71fa9e558caa93cc8425647079651b886e",
"type": "github" "type": "github"
}, },
"original": { "original": {
@@ -427,11 +449,11 @@
"niri-unstable": { "niri-unstable": {
"flake": false, "flake": false,
"locked": { "locked": {
"lastModified": 1787337984, "lastModified": 1792041402,
"narHash": "sha256-BNZUEVR2H96hCKENNKoLSSTFT8W4smp7v94hJc4Ehfc=", "narHash": "sha256-1hapcTetO24oDgicjSNATQDHm7l5odiXk0XuaFosNJk=",
"owner": "niri-wm", "owner": "niri-wm",
"repo": "niri", "repo": "niri",
"rev": "dd75865f547f0eac0e9b6c4d86d2cd00c0744252", "rev": "45739bc072f9875a674d335ae724f10d3b35c665",
"type": "github" "type": "github"
}, },
"original": { "original": {
@@ -440,6 +462,28 @@
"type": "github" "type": "github"
} }
}, },
"nix-darwin": {
"inputs": {
"nixpkgs": [
"nixcord",
"nixpkgs"
]
},
"locked": {
"lastModified": 1783744694,
"narHash": "sha256-2cp6N3rrwnGYLTx9l6N+NI+kwrCWxvJUbj5WJhvB29A=",
"owner": "nix-darwin",
"repo": "nix-darwin",
"rev": "c3e90c89649b07d1a96e4b9dd6cd0d6e44b91a74",
"type": "github"
},
"original": {
"owner": "nix-darwin",
"ref": "nix-darwin-26.05",
"repo": "nix-darwin",
"type": "github"
}
},
"nixarr": { "nixarr": {
"inputs": { "inputs": {
"nixpkgs": [ "nixpkgs": [
@@ -467,17 +511,19 @@
}, },
"nixcord": { "nixcord": {
"inputs": { "inputs": {
"flake-parts": "flake-parts", "home-manager": "home-manager_3",
"nix-darwin": "nix-darwin",
"nixpkgs": "nixpkgs_6", "nixpkgs": "nixpkgs_6",
"nixpkgs-nixcord": "nixpkgs-nixcord", "nixpkgs-ci": "nixpkgs-ci",
"nixpkgs-packages": "nixpkgs-packages",
"treefmt-nix": "treefmt-nix" "treefmt-nix": "treefmt-nix"
}, },
"locked": { "locked": {
"lastModified": 1787932216, "lastModified": 1792199114,
"narHash": "sha256-OPJDo+mIHErjQL/uaclMFvgSkQeInH2MFGxT93+VXps=", "narHash": "sha256-A5nYKj95EkIjGBbnVnnubVa21seBH/e89SUV0aNFLYw=",
"owner": "KaylorBen", "owner": "KaylorBen",
"repo": "nixcord", "repo": "nixcord",
"rev": "5b36c9187cabf90cb1659045c354cd6a0dd349ff", "rev": "b8b71963c2e7ede8106fca249e3eef0fed96c69d",
"type": "github" "type": "github"
}, },
"original": { "original": {
@@ -491,11 +537,11 @@
"nixpkgs": "nixpkgs_7" "nixpkgs": "nixpkgs_7"
}, },
"locked": { "locked": {
"lastModified": 1787144466, "lastModified": 1791721963,
"narHash": "sha256-HHfv2/HkNSKbbSyU9iD/g8lbP6r4tl33sSw1W4rXCk0=", "narHash": "sha256-BYhx89XJltnRyQeuDKHVL5eSqbbfAcOKuDts7QRsrxQ=",
"owner": "NixOS", "owner": "NixOS",
"repo": "nixos-hardware", "repo": "nixos-hardware",
"rev": "0471accf8d0a8210b31d947497d179ecc99e0021", "rev": "60a624466c08787ee8303393b7d4752d1826f14f",
"type": "github" "type": "github"
}, },
"original": { "original": {
@@ -520,44 +566,39 @@
"type": "github" "type": "github"
} }
}, },
"nixpkgs-lib": { "nixpkgs-ci": {
"locked": { "locked": {
"lastModified": 1785031560, "lastModified": 1791130267,
"narHash": "sha256-OmshNvn2vupOFpYinLUu+1Dnpu4n7Q5N3ggGVNHpkUI=", "narHash": "sha256-NCFqY2YC3/5pwakzk7tXNUj3sG+VImjU4EkZMacxF1w=",
"owner": "nix-community", "rev": "9013764fcc0ea99fa16cf7aa7decf8a5c3889dd2",
"repo": "nixpkgs.lib", "type": "tarball",
"rev": "0e79af5e3d4dcfcd676ab5ba3f95d2e3352e078c", "url": "https://releases.nixos.org/nixpkgs/nixpkgs-26.11pre1085518.9013764fcc0e/nixexprs.tar.zst"
"type": "github"
}, },
"original": { "original": {
"owner": "nix-community", "type": "tarball",
"repo": "nixpkgs.lib", "url": "https://channels.nixos.org/nixpkgs-unstable/nixexprs.tar.zst"
"type": "github"
} }
}, },
"nixpkgs-nixcord": { "nixpkgs-packages": {
"locked": { "locked": {
"lastModified": 1786711500, "lastModified": 1791130267,
"narHash": "sha256-QvnceIGTBeDvDd9oCn+GvdsnkquliuwbVgpiRH68qaQ=", "narHash": "sha256-NCFqY2YC3/5pwakzk7tXNUj3sG+VImjU4EkZMacxF1w=",
"owner": "NixOS", "rev": "9013764fcc0ea99fa16cf7aa7decf8a5c3889dd2",
"repo": "nixpkgs", "type": "tarball",
"rev": "02e08985a27c65ffd33d434eeb2e660a2e4dc84d", "url": "https://releases.nixos.org/nixpkgs/nixpkgs-26.11pre1085518.9013764fcc0e/nixexprs.tar.zst"
"type": "github"
}, },
"original": { "original": {
"owner": "NixOS", "type": "tarball",
"ref": "nixos-26.05", "url": "https://channels.nixos.org/nixpkgs-unstable/nixexprs.tar.zst"
"repo": "nixpkgs",
"type": "github"
} }
}, },
"nixpkgs-stable": { "nixpkgs-stable": {
"locked": { "locked": {
"lastModified": 1787848966, "lastModified": 1792030654,
"narHash": "sha256-7gDpu5hpq0rOYnYMcOWqSzquK4HA/xU8Xf3CjUBOOJA=", "narHash": "sha256-OaQwAtPMTjQiY2sT/2/62UbSPhzP/0aDnWzMm/NCiUw=",
"owner": "NixOS", "owner": "NixOS",
"repo": "nixpkgs", "repo": "nixpkgs",
"rev": "d57af924f160a5084293c71c2043f058bd1cdb60", "rev": "26f4107e47e3ad0ffd0db220469ba83b6f6d96e8",
"type": "github" "type": "github"
}, },
"original": { "original": {
@@ -569,11 +610,11 @@
}, },
"nixpkgs-stable_2": { "nixpkgs-stable_2": {
"locked": { "locked": {
"lastModified": 1787848966, "lastModified": 1792030654,
"narHash": "sha256-7gDpu5hpq0rOYnYMcOWqSzquK4HA/xU8Xf3CjUBOOJA=", "narHash": "sha256-OaQwAtPMTjQiY2sT/2/62UbSPhzP/0aDnWzMm/NCiUw=",
"owner": "NixOS", "owner": "NixOS",
"repo": "nixpkgs", "repo": "nixpkgs",
"rev": "d57af924f160a5084293c71c2043f058bd1cdb60", "rev": "26f4107e47e3ad0ffd0db220469ba83b6f6d96e8",
"type": "github" "type": "github"
}, },
"original": { "original": {
@@ -633,11 +674,11 @@
}, },
"nixpkgs_2": { "nixpkgs_2": {
"locked": { "locked": {
"lastModified": 1787736819, "lastModified": 1791956154,
"narHash": "sha256-cV5xEJJK3BvhU8rEd4mC9UsmDi5qscv/kzGPhBRC5WA=", "narHash": "sha256-jBYGPi4udQ9uo4KQp9m2J0546nJVQitG15gvZSaVVAs=",
"owner": "NixOS", "owner": "NixOS",
"repo": "nixpkgs", "repo": "nixpkgs",
"rev": "9fbb54b33e91ee4ca368e35a78e0613c720600b3", "rev": "55bfb4d7437bd4e09ab7cba58a43bd68eb310044",
"type": "github" "type": "github"
}, },
"original": { "original": {
@@ -649,18 +690,15 @@
}, },
"nixpkgs_3": { "nixpkgs_3": {
"locked": { "locked": {
"lastModified": 1787209939, "lastModified": 1790299684,
"narHash": "sha256-WvvHR4kSQLAbtouMC/ruZ5UpLwlUcY3K4FAllMN+yGk=", "narHash": "sha256-iK8TZqVFap2LJEfmSr4VcV5jZ1DWqEyJEh0QerRX6JE=",
"owner": "NixOS", "rev": "7d5589bbf421c7b6f4185371abe3c465b1b557e9",
"repo": "nixpkgs", "type": "tarball",
"rev": "391b592eb44808b3bd0cb80bb71b63a5a118b8bb", "url": "https://releases.nixos.org/nixpkgs/nixpkgs-26.11pre1079252.7d5589bbf421/nixexprs.tar.zst"
"type": "github"
}, },
"original": { "original": {
"owner": "NixOS", "type": "tarball",
"ref": "nixpkgs-unstable", "url": "https://channels.nixos.org/nixpkgs-unstable/nixexprs.tar.zst"
"repo": "nixpkgs",
"type": "github"
} }
}, },
"nixpkgs_4": { "nixpkgs_4": {
@@ -681,11 +719,11 @@
}, },
"nixpkgs_5": { "nixpkgs_5": {
"locked": { "locked": {
"lastModified": 1787736819, "lastModified": 1791956154,
"narHash": "sha256-cV5xEJJK3BvhU8rEd4mC9UsmDi5qscv/kzGPhBRC5WA=", "narHash": "sha256-jBYGPi4udQ9uo4KQp9m2J0546nJVQitG15gvZSaVVAs=",
"owner": "NixOS", "owner": "NixOS",
"repo": "nixpkgs", "repo": "nixpkgs",
"rev": "9fbb54b33e91ee4ca368e35a78e0613c720600b3", "rev": "55bfb4d7437bd4e09ab7cba58a43bd68eb310044",
"type": "github" "type": "github"
}, },
"original": { "original": {
@@ -697,27 +735,24 @@
}, },
"nixpkgs_6": { "nixpkgs_6": {
"locked": { "locked": {
"lastModified": 1786711500, "lastModified": 1791143449,
"narHash": "sha256-QvnceIGTBeDvDd9oCn+GvdsnkquliuwbVgpiRH68qaQ=", "narHash": "sha256-XvTu5S/TUsH4Jn9WRXSJfSxD7kHN4OzM/y+sKEzN8rU=",
"owner": "NixOS", "rev": "0d9e9b832d03ac387417e16ce1febf73b2e631e1",
"repo": "nixpkgs", "type": "tarball",
"rev": "02e08985a27c65ffd33d434eeb2e660a2e4dc84d", "url": "https://releases.nixos.org/nixos/26.05/nixos-26.05.11216.0d9e9b832d03/nixexprs.tar.zst"
"type": "github"
}, },
"original": { "original": {
"owner": "NixOS", "type": "tarball",
"ref": "nixos-26.05", "url": "https://channels.nixos.org/nixos-26.05/nixexprs.tar.zst"
"repo": "nixpkgs",
"type": "github"
} }
}, },
"nixpkgs_7": { "nixpkgs_7": {
"locked": { "locked": {
"lastModified": 1767892417, "lastModified": 1789546076,
"narHash": "sha256-8bW3q88CEg2u4hSP66Vf4lpbLonHz7hqDNBMcCY7E9U=", "narHash": "sha256-vWkSk5bbfTqdtMoSgD9FshACO8JCvXTFi+3cqEp0mH0=",
"rev": "3497aa5c9457a9d88d71fa93a4a8368816fbeeba", "rev": "b1b875982b17dabde9b4a37f3e229e74913e6db3",
"type": "tarball", "type": "tarball",
"url": "https://releases.nixos.org/nixos/unstable/nixos-26.05pre924538.3497aa5c9457/nixexprs.tar.xz" "url": "https://releases.nixos.org/nixos/unstable/nixos-26.11pre1074753.b1b875982b17/nixexprs.tar.xz"
}, },
"original": { "original": {
"type": "tarball", "type": "tarball",
@@ -726,11 +761,11 @@
}, },
"nixpkgs_8": { "nixpkgs_8": {
"locked": { "locked": {
"lastModified": 1787814960, "lastModified": 1792116957,
"narHash": "sha256-PYZq1qzCJXC2zGI0mH07vrZBsw6DRBAOX0jN1pPtqOQ=", "narHash": "sha256-EjZqHKObBfIOeHZnMRVV87HB3pPq/WBkmRJWyFxmZu8=",
"owner": "NixOS", "owner": "NixOS",
"repo": "nixpkgs", "repo": "nixpkgs",
"rev": "c27cdad491a991b11ed731760aa2ef8db0cb0410", "rev": "f20cd90e28fe0403873f473b29e42662cd86e8c4",
"type": "github" "type": "github"
}, },
"original": { "original": {
@@ -742,11 +777,11 @@
}, },
"nixpkgs_9": { "nixpkgs_9": {
"locked": { "locked": {
"lastModified": 1782175435, "lastModified": 1791487292,
"narHash": "sha256-EMzXKmnOtBQ2MnvpiNOm7E+kOMvdPrIKaeg52Tip2Uk=", "narHash": "sha256-tqM7xDEsaeK1p6VvRygeZ9LkQRpUUkbRT02BHv6hnTM=",
"owner": "NixOS", "owner": "NixOS",
"repo": "nixpkgs", "repo": "nixpkgs",
"rev": "89570f24e97e614aa34aa9ab1c927b6578a43775", "rev": "8edc0c72e3a38faf5434e40d1f19431125fe4b30",
"type": "github" "type": "github"
}, },
"original": { "original": {
@@ -758,17 +793,17 @@
}, },
"nur": { "nur": {
"inputs": { "inputs": {
"flake-parts": "flake-parts_2", "flake-parts": "flake-parts",
"nixpkgs": [ "nixpkgs": [
"nixpkgs" "nixpkgs"
] ]
}, },
"locked": { "locked": {
"lastModified": 1787983941, "lastModified": 1792201301,
"narHash": "sha256-TIqbEHH98OGczjrCLo2BMvYaAWt+y2rFqebaYdf+NT4=", "narHash": "sha256-lA9rj35dfSba0DYnyJ4YxYBVPjN80tK2gMxeElioF28=",
"owner": "nix-community", "owner": "nix-community",
"repo": "NUR", "repo": "NUR",
"rev": "a64b7515ac7560f52b056e76d607b88e7ebadfdb", "rev": "7b87d0dd1c0f60e82214092b934c504dfe3a2230",
"type": "github" "type": "github"
}, },
"original": { "original": {
@@ -829,11 +864,11 @@
"nixpkgs": "nixpkgs_9" "nixpkgs": "nixpkgs_9"
}, },
"locked": { "locked": {
"lastModified": 1786629091, "lastModified": 1792056300,
"narHash": "sha256-gkig4nPi1CWc4Z50GBsjE4ygSE7hMpl/TwID2an2Cck=", "narHash": "sha256-YU1LjDe1o2Ymg5zEiCHbmMXLkDCtxHQRiVqZ3nC5GGk=",
"owner": "Mic92", "owner": "Mic92",
"repo": "sops-nix", "repo": "sops-nix",
"rev": "a8627b21b9107c5711c96b84f32a9a4b3d45295f", "rev": "44931708c62937c2b1bf7953902989fa5bb9ee1b",
"type": "github" "type": "github"
}, },
"original": { "original": {
@@ -849,7 +884,7 @@
"base16-helix": "base16-helix", "base16-helix": "base16-helix",
"base16-vim": "base16-vim", "base16-vim": "base16-vim",
"firefox-gnome-theme": "firefox-gnome-theme", "firefox-gnome-theme": "firefox-gnome-theme",
"flake-parts": "flake-parts_3", "flake-parts": "flake-parts_2",
"gnome-shell": "gnome-shell", "gnome-shell": "gnome-shell",
"nixpkgs": "nixpkgs_10", "nixpkgs": "nixpkgs_10",
"nur": "nur_2", "nur": "nur_2",
@@ -860,11 +895,11 @@
"tinted-zed": "tinted-zed" "tinted-zed": "tinted-zed"
}, },
"locked": { "locked": {
"lastModified": 1787771653, "lastModified": 1791574276,
"narHash": "sha256-DkkJSBOXWV/mja5Vy8az5g1KpZlsbUwlmH0BsQhowaQ=", "narHash": "sha256-UMnLnZ3JlA7UTBNNNx1rNsXYoPP/cirXLCKGiQ/yDx8=",
"owner": "nix-community", "owner": "nix-community",
"repo": "stylix", "repo": "stylix",
"rev": "5e3809851f486e7fc7e84b40f174c74b60ecc784", "rev": "2856c4c6a845b9bec98828ef197abe176e4806bb",
"type": "github" "type": "github"
}, },
"original": { "original": {
@@ -1049,11 +1084,11 @@
] ]
}, },
"locked": { "locked": {
"lastModified": 1785945821, "lastModified": 1791198660,
"narHash": "sha256-NLSyTCW4K4ofhNBllt3omPasm6QpralXH1DBZOc91Dw=", "narHash": "sha256-f8Pye933T60vreB9u9pqfAXDyBqO13U7H0LvPsOxCIA=",
"owner": "numtide", "owner": "numtide",
"repo": "treefmt-nix", "repo": "treefmt-nix",
"rev": "ae7910970dddc408fe6ab1c8e4b277bb21d72dc0", "rev": "8b367b728be38d1bb7206f037c9df9989df3353a",
"type": "github" "type": "github"
}, },
"original": { "original": {
@@ -1064,11 +1099,11 @@
}, },
"vpn-confinement": { "vpn-confinement": {
"locked": { "locked": {
"lastModified": 1785142579, "lastModified": 1791310298,
"narHash": "sha256-WEPxDMiKt3uGVVu/aorHnIgYYW62mEq2Q+rlN3qH6bg=", "narHash": "sha256-SpqEEuyrkzTqjIHwHrZE+Rs6ez2tzIeYkSY67zp6fcQ=",
"owner": "Maroka-chan", "owner": "Maroka-chan",
"repo": "VPN-Confinement", "repo": "VPN-Confinement",
"rev": "b3aa71a7edfe6af748c23729d1bdec3b499741ff", "rev": "cc37bcf5000e237709e725a9cda010a5cbce3111",
"type": "github" "type": "github"
}, },
"original": { "original": {
@@ -1118,11 +1153,11 @@
"xwayland-satellite-unstable": { "xwayland-satellite-unstable": {
"flake": false, "flake": false,
"locked": { "locked": {
"lastModified": 1786221058, "lastModified": 1792070459,
"narHash": "sha256-hF2atQzapHBLX5NFqJMcKZAWHfGkKQeNu1eQr46+AGg=", "narHash": "sha256-qGSyMXPHiXWp9/nE5Zs1DJN5NmZFvoxaBS5Y9i7p0Pc=",
"owner": "Supreeeme", "owner": "Supreeeme",
"repo": "xwayland-satellite", "repo": "xwayland-satellite",
"rev": "3bc915f09dd62bb2651a715114f9d140344bc6c1", "rev": "97a89cec53eb4f8788386a574450dd94c0538754",
"type": "github" "type": "github"
}, },
"original": { "original": {
+9 -1
View File
@@ -141,7 +141,7 @@ in {
sydmacs sydmacs
]; ];
}; };
# Set emacsclient as the default editor for the time being. # Set emacsclient as the default editor for the time being.
home.sessionVariables = { home.sessionVariables = {
EDITOR = "emacsclient"; EDITOR = "emacsclient";
@@ -171,6 +171,14 @@ in {
client.enable = true; client.enable = true;
}; };
# Start Emacs after the graphical session so as to inherit
# expected envvars, but don't necessarily /depend/ on a
# graphical session.
systemd.user.services.emacs = {
Unit.After = [ "graphical-session.target" ];
Install.WantedBy = lib.mkForce [ "graphical-session.target" ];
};
# We do this ourselves. # We do this ourselves.
stylix.targets.emacs.enable = false; stylix.targets.emacs.enable = false;
}); });
+14 -2
View File
@@ -12,8 +12,20 @@ in {
builtins.readFile ./haskell/ghc-with-packages.sh; builtins.readFile ./haskell/ghc-with-packages.sh;
home.file.".ghc/ghci.conf".text = '' home.file.".ghc/ghci.conf".text = ''
:set prompt "\x1b[38;5;5mλ>\x1b[0m " :{
:set prompt-cont "\x1b[38;5;5m|>\x1b[0m " ghci_set_prompt :: IO String
ghci_set_prompt = do
term <- System.Environment.Blank.getEnvDefault "TERM" ""
let (prompt,promptCont) =
if Data.List.isPrefixOf "xterm-" term
then ("\x1b[38;5;5mλ>\x1b[0m ", "\x1b[38;5;5m|>\x1b[0m ")
else ("λ> ", "|> ")
pure . unlines $
[ ":set prompt " ++ show prompt
, ":set prompt-cont " ++ show promptCont
]
:}
:cmd ghci_set_prompt
:set -interactive-print=Text.Pretty.Simple.pPrint :set -interactive-print=Text.Pretty.Simple.pPrint
:m + Text.Show.Functions :m + Text.Show.Functions
:unset +r :unset +r
+2 -1
View File
@@ -1,5 +1,7 @@
;;; init.el -*- lexical-binding: t -*- ;;; init.el -*- lexical-binding: t -*-
(require 'syd/transient)
(syd-require-features (syd-require-features
'(syd/base '(syd/base
syd/constants syd/constants
@@ -33,7 +35,6 @@
syd/which-key syd/which-key
syd/tramp syd/tramp
syd/handle syd/handle
syd/flycheck
syd/org syd/org
syd/org/roam syd/org/roam
syd/org/agenda syd/org/agenda
@@ -5,11 +5,18 @@
(defun syd-agda-locate-and-load () (defun syd-agda-locate-and-load ()
(interactive) (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 (defface syd-agda2-default
`((t :font ,(font-spec :family "IBM Plex Sans" :size 17) `((t :font ,(font-spec :family "IBM Plex Sans" :size 17)
@@ -93,7 +100,8 @@
(add-to-list (add-to-list
'auto-mode-alist 'auto-mode-alist
'("\\.lagda\\.org\\'" . agda2-mode)) `(,(rx ".lagda." (or "org" "md"))
. agda2-mode))
(with-eval-after-load 'smartparens (with-eval-after-load 'smartparens
(sp-local-pair '(agda2-mode) "{!" "!}")) (sp-local-pair '(agda2-mode) "{!" "!}"))
@@ -12,6 +12,7 @@
("\\(?:build\\|profile\\)\\.boot\\'" . clojure-mode)) ("\\(?:build\\|profile\\)\\.boot\\'" . clojure-mode))
:interpreter (("bb" . clojure-mode) :interpreter (("bb" . clojure-mode)
("nbb" . clojurescript-mode)) ("nbb" . clojurescript-mode))
:custom ((clojure-toplevel-inside-comment-form t))
:config :config
(add-hook 'clojure-mode-hook #'syd-lisp-mode) (add-hook 'clojure-mode-hook #'syd-lisp-mode)
;; Correctly indent some popular macros. ;; Correctly indent some popular macros.
@@ -30,7 +31,8 @@
(defun syd-clojure-eval-region (beg end) (defun syd-clojure-eval-region (beg end)
(cider-eval-region beg end)) (cider-eval-region beg end))
(syd-handle '(clojure-mode clojurescript-mode cider-repl-mode) (syd-handle '(clojure-mode clojurescript-mode cider-repl-mode
cider-clojure-interaction-mode)
:docs #'cider-doc :docs #'cider-doc
:eval-region #'syd-clojure-eval-region :eval-region #'syd-clojure-eval-region
:load-buffer #'cider-load-buffer) :load-buffer #'cider-load-buffer)
@@ -18,7 +18,8 @@
:states '(normal insert) :states '(normal insert)
"C-k" #'comint-previous-input "C-k" #'comint-previous-input
"C-j" #'comint-next-input "C-j" #'comint-next-input
"C-s" #'consult-history) "C-s" #'consult-history
"<return>" #'comint-send-input)
(general-def (general-def
:keymaps 'comint-mode-map :keymaps 'comint-mode-map
:states 'insert :states 'insert
@@ -13,6 +13,9 @@
"e" `("Environment" . ,syd-leader-file-env-map)) "e" `("Environment" . ,syd-leader-file-env-map))
:config :config
(syd-push shackle-rules (syd-push shackle-rules
`("*envrc*" :custom ,#'ignore))) `("*envrc*" :custom ,#'ignore))
(with-eval-after-load 'projection-multi
(advice-add #'projection-multi-compile
:around #'envrc-propagate-environment)))
(provide 'syd/direnv) (provide 'syd/direnv)
@@ -127,7 +127,6 @@ if FILE-NAME has no TRAMP prefix."
(cons nil file-name))) (cons nil file-name)))
(use-package eshell (use-package eshell
:defer t
:init :init
(defvar syd-eshell-data-dir (defvar syd-eshell-data-dir
(file-name-concat syd-data-dir "eshell")) (file-name-concat syd-data-dir "eshell"))
@@ -167,7 +166,8 @@ if FILE-NAME has no TRAMP prefix."
:states '(normal insert) :states '(normal insert)
"C-j" #'eshell-next-matching-input-from-input "C-j" #'eshell-next-matching-input-from-input
"C-k" #'eshell-previous-matching-input-from-input "C-k" #'eshell-previous-matching-input-from-input
"C-s" #'consult-history) "C-s" #'consult-history
"<return>" #'eshell-send-input)
:config :config
;; When cd'd into a TRAMP remote, automatically expand '/' to the TRAMP ;; When cd'd into a TRAMP remote, automatically expand '/' to the TRAMP
;; notation referring to the remote's root. ;; notation referring to the remote's root.
@@ -51,6 +51,11 @@
;; refresh is forced. Quick fix! }:P ;; refresh is forced. Quick fix! }:P
(add-hook 'minibuffer-setup-hook #'evil-refresh-cursor) (add-hook 'minibuffer-setup-hook #'evil-refresh-cursor)
;; HACK: ensure insert-state is the default state for minibuffers.
;; https://github.com/emacs-evil/evil/issues/2034
(put 'evil-default-state 'permanent-local t)
(put 'evil-echo-state 'permanent-local t)
;; Unbind 'C-k'. Normally, it inserts digraphs; I have a compose key, and ;; Unbind 'C-k'. Normally, it inserts digraphs; I have a compose key, and
;; it's strictly less useful than Emacs' native input methods. It often gets ;; it's strictly less useful than Emacs' native input methods. It often gets
;; in the way of buffers with navigation, e.g. scrolling through shell/REPL ;; in the way of buffers with navigation, e.g. scrolling through shell/REPL
@@ -62,8 +67,8 @@
(defun syd-evil-messages () (defun syd-evil-messages ()
(interactive) (interactive)
(view-echo-area-messages) (view-echo-area-messages)
(with-current-buffer messages-buffer-name (with-current-buffer messages-buffer-name
(evil-motion-state 1))) (evil-motion-state 1)))
(evil-ex-define-cmd "mes[sages]" #'syd-evil-messages) (evil-ex-define-cmd "mes[sages]" #'syd-evil-messages)
;; On ESC, remove highlighted search results. ;; On ESC, remove highlighted search results.
@@ -72,7 +77,7 @@
Otherwise, nil." Otherwise, nil."
(let ((names '(evil-ex-substitute evil-ex-search))) (let ((names '(evil-ex-substitute evil-ex-search)))
(when (-any #'evil-ex-hl-active-p names) (when (-any #'evil-ex-hl-active-p names)
(prog1 t (evil-ex-nohighlight))))) (prog1 t (evil-ex-nohighlight)))))
(add-hook 'syd-escape-hook #'syd-evil-nohl-h) (add-hook 'syd-escape-hook #'syd-evil-nohl-h)
(general-def (general-def
@@ -5,10 +5,17 @@
;; Nicer error messages, integrates with `lsp-mode' ;; Nicer error messages, integrates with `lsp-mode'
(use-package flycheck (use-package flycheck
:custom ((flycheck-highlighting-mode nil)) :custom (; disable annoying underlines.
(flycheck-highlighting-mode nil)
; don't display error at point without input.
(flycheck-auto-display-errors-after-checking nil))
:general :general
(:states '(motion normal) (:states '(motion normal)
"[ e" #'flycheck-previous-error "[ e" #'flycheck-previous-error
"] e" #'flycheck-next-error)) "] e" #'flycheck-next-error)
:config
(syd-defadvice syd-suppress-flycheck-popups-a (&rest _)
:override #'flycheck-display-error-at-point-soon
nil))
(provide 'syd/flycheck) (provide 'syd/flycheck)
@@ -2,6 +2,7 @@
(require 'syd/base) (require 'syd/base)
(require 'syd/handle) (require 'syd/handle)
(require 'syd/wasm) (require 'syd/wasm)
(require 'syd/tabs)
(defun syd-haskell-open-repl () (defun syd-haskell-open-repl ()
"Open a Haskell REPL." "Open a Haskell REPL."
@@ -9,6 +10,18 @@
(require 'inf-haskell) (require 'inf-haskell)
(run-haskell)) (run-haskell))
(defun syd-haskell-ts-open-repl ()
"Open a Haskell REPL."
(interactive)
(haskell-ts-run)
(pop-to-buffer haskell-ts-ghci-buffer-name))
(defun syd-haskell-ts-eval-region (beg end)
(haskell-ts--send-region beg end))
(defun syd-haskell-ts-load-buffer ()
(haskell-ts-load-file))
(defun syd-haskell-evil-open-above () (defun syd-haskell-evil-open-above ()
"Opens a line above the current, following Haskell-mode's indentation" "Opens a line above the current, following Haskell-mode's indentation"
(interactive) (interactive)
@@ -62,13 +75,59 @@
(add-to-list 'haskell-font-lock-quasi-quote-modes '("wats" . wat-mode)) (add-to-list 'haskell-font-lock-quasi-quote-modes '("wats" . wat-mode))
(add-to-list 'haskell-font-lock-quasi-quote-modes '("expr" . wat-mode))) (add-to-list 'haskell-font-lock-quasi-quote-modes '("expr" . wat-mode)))
(use-package consult-hoogle
:config
(syd-push shackle-rules
`("*hoogle-search*"
:select t :size 0.5 :popup t :align bottom)))
(use-package haskell-ts-mode
:straight (:type git
:host github
:repo "dschrempf/haskell-ts-mode")
:custom ((haskell-ts-font-lock-level 4)
(haskell-ts-ghci "ghci")
(haskell-ts-inferior-prompt-regexp
(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)
:major-modes t
:prefix syd-localleader-key
:non-normal-prefix syd-alt-localleader-key
"h s" #'syd-haskell-hoogle-start-server
"h q" #'haskell-hoogle-kill-server
"c" #'haskell-cabal-visit-file)
:config
(add-to-list 'completion-ignored-extensions ".hi")
(syd-add-hook 'haskell-ts-mode-hook
(defun syd-haskell-configure-indent-h ()
(setq-local tab-width 2)
;; (setq-local indent-line-function #'tab-to-tab-stop)
(indent-tabs-mode -1))
(defun syd-haskell-configure-evil-h ()
(setq-local evil-symbol-word-search nil)))
(syd-handle '(haskell-ts-mode)
:repl #'syd-haskell-ts-open-repl
:eval-region #'syd-haskell-ts-eval-region
:load-buffer #'syd-haskell-ts-load-buffer)
(syd-defadvice syd-haskell-hide-repl-h (old &rest rs)
:around #'haskell-ts-show-repl
(save-window-excursion
(apply old rs))))
(use-package lsp-haskell (use-package lsp-haskell
:defer t :defer t
:custom ((lsp-haskell-server-path "haskell-language-server")) :custom ((lsp-haskell-server-path "haskell-language-server"))
:init :init
(add-hook 'haskell-mode-hook #'lsp-deferred 'append) (add-hook 'haskell-mode-hook #'lsp-deferred 'append)
(add-hook 'haskell-mode-hook #'kakapo-mode)
(add-hook 'haskell-literate-mode-hook #'lsp-deferred 'append) (add-hook 'haskell-literate-mode-hook #'lsp-deferred 'append)
(syd-add-hook '(haskell-mode-hook haskell-literate-mode-hook) (add-hook 'haskell-ts-mode-hook #'lsp-deferred 'append)
(syd-add-hook '(haskell-ts-mode-hook
haskell-mode-hook haskell-literate-mode-hook)
(defun syd-haskell-configure-lsp-h () (defun syd-haskell-configure-lsp-h ()
;; it often highlights list literals and quasiquotes which ;; it often highlights list literals and quasiquotes which
;; gets reaaaally annoying. ;; gets reaaaally annoying.
@@ -0,0 +1,11 @@
;;; -*- lexical-binding: t -*-
(require 'syd/base)
(use-package instaparse-mode
:mode "\\.ebnf\\'"
:straight (:type git
:host github
:repo "fbauer/instaparse-mode"))
(provide 'syd/cc)
@@ -3,6 +3,7 @@
(require 'syd/base) (require 'syd/base)
(require 'syd/popups) (require 'syd/popups)
(require 'syd/handle) (require 'syd/handle)
(require 'syd/flycheck)
(use-package lsp-mode (use-package lsp-mode
:init :init
@@ -40,7 +41,7 @@
(syd-push (syd-push
shackle-rules shackle-rules
`(("*lsp-help*" "*lsp-install*") `(("*lsp-help*" "*lsp-install*")
:select nil :size 0.42 :popup t :align bottom)) :select nil :size 0.2 :popup t :align bottom))
(defun syd-lsp-handle-docs () (defun syd-lsp-handle-docs ()
(interactive) (interactive)
(save-excursion (save-excursion
@@ -23,6 +23,8 @@
`("*Geiser Documentation*" ,@syd-help-popup-options) `("*Geiser Documentation*" ,@syd-help-popup-options)
`("*Geiser Debug*" ,@syd-help-popup-options))) `("*Geiser Debug*" ,@syd-help-popup-options)))
(use-package geiser-guile) ;; (use-package geiser-guile)
;; (use-package geiser-gauche)
(use-package geiser-chibi)
(provide 'syd/scheme) (provide 'syd/scheme)
@@ -1,7 +1,10 @@
;;; -*- lexical-binding: t -*- ;;; -*- lexical-binding: t -*-
(require 'syd/base) (require 'syd/base)
;; Disable tabs by default. ;; Tabs, not spaces.
(setq-default indent-tabs-mode nil) (setq-default indent-tabs-mode nil)
(setq-default tab-width 2)
(use-package kakapo-mode)
(provide 'syd/tabs) (provide 'syd/tabs)
+30 -5
View File
@@ -6,9 +6,34 @@ in {
enable = lib.mkEnableOption "Treesitter grammars"; enable = lib.mkEnableOption "Treesitter grammars";
}; };
config = lib.mkIf cfg.enable { config = lib.mkIf cfg.enable
sydnix.emacs.emacsPackages = epkgs: [ # https://github.com/dschrempf/haskell-ts-mode/blob/1c236f00dc214e546124a5dac90902ba62500c15/flake.nix#L40-L55
epkgs.treesit-grammars.with-all-grammars (let
]; grammars = pkgs.tree-sitter-grammars.overrideScope (ts-final: ts-prev: {
}; tree-sitter-haskell = ts-prev.tree-sitter-haskell.overrideAttrs (prev:
let rev = "1ad6077a1fb776c255836e00aeb6da57ba564b6a";
in {
version = "unstable-2026-07-07-${builtins.substring 0 7 rev}";
src = pkgs.fetchFromGitHub {
owner = "dschrempf";
repo = "tree-sitter-haskell";
inherit rev;
hash = "sha256-kC6HwImFRx5HUY7NDLAA0I/DaSstQ94dWxA9+lMx2gI=";
};
nativeBuildInputs = (prev.nativeBuildInputs or [ ]) ++ [
pkgs.nodejs
pkgs.tree-sitter
];
preBuild = ''
tree-sitter generate
'';
});
});
in {
sydnix.emacs.emacsPackages = epkgs: [
(epkgs.treesit-grammars.with-grammars (_ps:
grammars.allGrammars
))
];
});
} }
+2 -2
View File
@@ -224,8 +224,8 @@ in {
force = true; force = true;
# Precedence of search engines. # Precedence of search engines.
order = [ "Kagi" "ddg" ]; order = [ "Kagi" "ddg" ];
default = "Kagi"; default = "ddg";
privateDefault = "Kagi"; privateDefault = "ddg";
engines = { engines = {
"Kagi" = { "Kagi" = {
urls = [{ urls = [{
+1 -1
View File
@@ -36,7 +36,7 @@ in {
# Mount our NAS's 'media' share. # Mount our NAS's 'media' share.
fileSystems."/media" = { fileSystems."/media" = {
# DNS is seemingly unavailable to the mount service. # DNS is seemingly unavailable to the mount service.
device = "//10.0.0.203/media"; device = "//192.168.68.62/media";
mountPoint = "/media"; mountPoint = "/media";
fsType = "cifs"; fsType = "cifs";
options = [ options = [
+4 -4
View File
@@ -4,10 +4,10 @@
config = { config = {
networking.hosts = { networking.hosts = {
"100.95.131.43" = [ "whitepc" ]; "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" ];
}; };
}; };
} }
+5
View File
@@ -11,6 +11,11 @@ in {
config = lib.mkIf cfg.enable { config = lib.mkIf cfg.enable {
nixpkgs.config.allowUnfree = true; nixpkgs.config.allowUnfree = true;
# Dependency of Zotero.
nixpkgs.config.permittedInsecurePackages = [
"firefox-esr-140-bin-unwrapped-140.17.0esr"
];
nix = { nix = {
settings = { settings = {
allow-import-from-derivation = true; allow-import-from-derivation = true;