From 73132ee88d7c8f87ab25c819904a7b3bcc32c269 Mon Sep 17 00:00:00 2001
From: Kenichi Kamiya <kachick1@gmail.com>
Date: Mon, 31 Jul 2023 02:18:40 +0900
Subject: [PATCH] Fetch .editorconfig from another repository

https://github.com/kachick/anylang-template/blob/45d7ef685ac4fd3836c3b32b8ce8fb45e909b771/.editorconfig
---
 home/.config/home-manager/home.nix | 13 +++++++++++++
 1 file changed, 13 insertions(+)

diff --git a/home/.config/home-manager/home.nix b/home/.config/home-manager/home.nix
index 1be38b96..fe28a694 100644
--- 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
       {