diff options
Diffstat (limited to 'modules/by-name')
| -rw-r--r-- | modules/by-name/bo/boot/module.nix | 21 | ||||
| -rw-r--r-- | modules/by-name/di/direnv/module.nix | 9 | ||||
| -rwxr-xr-x | modules/by-name/di/direnv/pre-cache.sh | 10 |
3 files changed, 23 insertions, 17 deletions
diff --git a/modules/by-name/bo/boot/module.nix b/modules/by-name/bo/boot/module.nix index 04540676..80a47420 100644 --- a/modules/by-name/bo/boot/module.nix +++ b/modules/by-name/bo/boot/module.nix @@ -37,23 +37,24 @@ iso_options = ## General options? [ + # "config" "initrd=${tails.initrd}" - "noprompt" - "timezone=Etc/UTC" - "config" - "noautologin" - "slab_nomerge" - "slub_debug=FZ" - "mce=0" - "vsyscall=none" + + "efi_pstore.pstore_disable=1" + "erst_disable" "init_on_free=1" + "mce=0" "mds=full,nosmt" + "noautologin" + "noprompt" "page_alloc.shuffle=1" "randomize_kstack_offset=on" - "efi_pstore.pstore_disable=1" - "erst_disable" + "slab_nomerge" + "slub_debug=FZ" "spec_store_bypass_disable=on" "systemd.condition_needs_update=no" + "timezone=Etc/UTC" + "vsyscall=none" ] ## Systemd log options ++ [ diff --git a/modules/by-name/di/direnv/module.nix b/modules/by-name/di/direnv/module.nix index 743375af..31c70dad 100644 --- a/modules/by-name/di/direnv/module.nix +++ b/modules/by-name/di/direnv/module.nix @@ -22,7 +22,9 @@ cat "${./pre-cache.sh}" > $out substituteInPlace $out \ - --replace-fail "%DEVSHELLS_REPO%" "${devshells}" + --replace-fail "%DEVSHELLS_REPO%" "${devshells}" \ + --replace-fail "%DEVSHELLS_REPO_REF%" "${devshells.sourceInfo.rev}" + ''; in { options.soispha.programs.direnv = { @@ -42,7 +44,10 @@ in { config = { warn_timeout = 0; - strict_env = true; + + # NOTE: Something variable is undeclared in the my default loaded stuff :/. <2026-08-18> + # strict_env = true; + # disable_stdin = true; }; }; diff --git a/modules/by-name/di/direnv/pre-cache.sh b/modules/by-name/di/direnv/pre-cache.sh index 13c0cd37..8c43a556 100755 --- a/modules/by-name/di/direnv/pre-cache.sh +++ b/modules/by-name/di/direnv/pre-cache.sh @@ -7,12 +7,12 @@ _pre_cache_preflight() { set -eu _nix_direnv_preflight - repo="%DEVSHELLS_REPO%" + REPO="%DEVSHELLS_REPO%" system="x86_64-linux" cache_dir="$XDG_CACHE_HOME/pre_cache" [ -d "$cache_dir" ] || mkdir --parents "$cache_dir" - repo_ref=$(git -C "$repo" rev-parse HEAD) + repo_ref="%DEVSHELLS_REPO_REF%" final_cache="$cache_dir/$repo_ref" if ! [ -d "$final_cache" ]; then @@ -36,10 +36,10 @@ _pre_cache_load_shell() { profile="$final_cache/__profile" # It does not already exists, we need to evaluate it. - _nix print-dev-env --profile "$tmp_profile" "$repo#$lang" >"$lang_cache" + _nix print-dev-env --profile "$tmp_profile" "$REPO#$lang" >"$lang_cache" _nix_add_gcroot "$tmp_profile" "$profile" - rm "$tmp_profile" "$tmp_profile"* + # rm "$tmp_profile" "$tmp_profile"* || true fi _pre_cache_log "Loaded dev-shell for $lang." @@ -50,7 +50,7 @@ _pre_cache_build_shells() { installables="" for lang in "$@"; do - new_part="$repo#devShells.$system.$lang" + new_part="$REPO#devShells.$system.$lang" if [ -z "$installables" ]; then installables="$new_part" |