Finer grained home-manager hosts

2023-08-21 10:20:24 -05:00
parent 9c22f7414c
commit ad20ca1856
6 changed files with 26 additions and 11 deletions
@@ -0,0 +1,12 @@
+{ pkgs, lib, ...}:
+
+{
+	home.file.".pip/pip.conf".text = (lib.strings.concatStringsSep "\n" [
+		"[global]"
+		"retries = 1"
+		"index-url = https://pypi.python.org/simple"
+		"extra-index-url ="
+		"    https://pypi.ivrtechnology.com/simple/"
+		"    https://pypidev.ivrtechnology.com/simple/"
+	]);
+}