Merge pull request #215 from kachick/home-editorconfig

Fetch .editorconfig from another repository
kachick · Jul 30, 2023 · 585dc97 · 585dc97
2 parents a91e889 + 73132ee
commit 585dc97
Showing 1 changed file with 13 additions and 0 deletions.
diff --git a/home/.config/home-manager/home.nix b/home/.config/home-manager/home.nix
@@ -166,6 +166,19 @@
   # - https://github.com/kachick/dotfiles/issues/142
   home.file.".stack/config.yaml".source = ../../../home/.stack/config.yaml;
 
+  # Should have `root = true` in the file. - https://github.com/kachick/anylang-template/blob/45d7ef685ac4fd3836c3b32b8ce8fb45e909b771/.editorconfig#L1
+  # Intentionally avoided to use https://github.com/nix-community/home-manager/blob/f58889c07efa8e1328fdf93dc1796ec2a5c47f38/modules/misc/editorconfig.nix
+  home.file.".editorconfig".text = builtins.readFile (
+    pkgs.fetchFromGitHub
+      {
+        owner = "kachick";
+        repo = "anylang-template";
+        rev = "45d7ef685ac4fd3836c3b32b8ce8fb45e909b771";
+        sha256 = "sha256-F8xP4xCIS1ybvRm1xGB2USekGWKKxz0nokpY6gRxKBE=";
+      }
+    + "/.editorconfig"
+  );
+
   xdg.configFile."irb/irbrc".text = builtins.readFile (
     pkgs.fetchFromGitHub
       {