diff options
author | Yehonal <yehonal.azeroth@gmail.com> | 2025-08-30 23:44:07 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2025-08-30 23:44:07 +0200 |
commit | 5a79a4edce0f39541d2e9b363dcbe0cc79c32a1e (patch) | |
tree | f0bb15f28881a000f17a8f6d1a74d72e93c6b84b /conf | |
parent | 5c31e3b411ba8dfec9ecdfacca494accf7f59119 (diff) |
Feat/refactoring-module-menu (#22733)
Diffstat (limited to 'conf')
-rw-r--r-- | conf/dist/config.sh | 13 |
1 files changed, 13 insertions, 0 deletions
diff --git a/conf/dist/config.sh b/conf/dist/config.sh index df7ddd3fc2..2e105fd445 100644 --- a/conf/dist/config.sh +++ b/conf/dist/config.sh @@ -149,4 +149,17 @@ export CPUPROFILESIGNAL=${CPUPROFILESIGNAL:-12} # Other values for HEAPCHECK: minimal, normal (equivalent to "1"), strict, draconian #export HEAPCHECK=${HEAPCHECK:-normal} +############################################## +# +# MODULES LIST FILE (for installer `module` commands) +# +# Path to the file where the installer records installed modules +# with their branch and commit. You can override this path by +# setting the MODULES_LIST_FILE inside your config.sh or as an environment variable. +# By default it points inside the repository conf folder. +# Format of each line: +# <module-name> <branch> <commit> +# Lines starting with '#' and empty lines are ignored. +export MODULES_LIST_FILE=${MODULES_LIST_FILE:-"$AC_PATH_ROOT/conf/modules.list"} + |