Make toolbox installable with a flake template.

Author: Zimmi48

.nix/shellHook.sh

@@ -180,14 +180,14 @@ genNixActions (){
 addNixCommand genNixActions
 
 initNixConfig (){
-  Orig=$toolboxDir/template-config.nix
+  Orig=$toolboxDir/template/.nix/config.nix
   F=$configDir/config.nix;
   if [[ -f $F ]]; then
      echo "$F already exists"
   else if [[ -n "$1" ]]; then
        mkdir -p $configDir
        cat $Orig > $F
-       sed -i "s/template/$1/" $F
+       sed -i "s/YOUR_PACKAGE_NAME/$1/" $F
     else echo "usage: initNixConfig pname"
     fi
   fi

flake.nix

@@ -43,6 +43,10 @@
             }
           );
       };
+      templates.default = {
+        path = ./template;
+        description = "Initialize the Rocq Nix Toolbox in a new project";
+      };
       packages = lib.allPackages ./.;
     };
 }

template-config.nix renamed to template/.nix/config.nix

@@ -8,12 +8,12 @@
   ## either using nixpkgs data or the overlays located in `.nix/rocq-overlays`
   ## and `.nix/coq-overlays`
   ## Will determine the default main-job of the bundles defined below
-  attribute = "template";
+  attribute = "YOUR_PACKAGE_NAME";
 
   ## The attribute for coq compat shim, default to attribute
   ## set this when you need both to differ
   ## (for instance "rocq-elpi" and "coq-elpi")
-  # coq-attribute = "template";
+  # coq-attribute = "YOUR_PACKAGE_NAME";
 
   ## Set this when the package has no rocqPackages version yet
   ## (either in nixpkgs or in .nix/rocq-overlays)

template/flake.nix

@@ -0,0 +1,11 @@
+{
+  description = "A Nix flake for my Rocq project using the Rocq Nix Toolbox";
+  inputs = {
+    rocq-nix-toolbox.url = "github:rocq-community/coq-nix-toolbox";
+  };
+  outputs =
+    { rocq-nix-toolbox, ... }:
+    {
+      packages = rocq-nix-toolbox.lib.allPackages ./.;
+    };
+}