root/manjaro-tools
1
0
Fork 0
forked from mirrored-repos/manjaro-tools
Code Pull requests Activity

[conf] move keep_repos to profile.conf

Browse source
This commit is contained in:
udeved 2015-05-09 10:35:05 +02:00
parent 9286bb52e6
commit 106d1a328c
2 changed files with 3 additions and 9 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

9
conf/manjaro-tools.conf
View file

@ -53,15 +53,6 @@
# default iso buildset; name without .set extension # default iso buildset; name without .set extension
# buildset_iso=default # buildset_iso=default
# clean xorg cache before building
# clean_cache_xorg=true
# clean lng cache before building
# clean_cache_lng=true
# custom pacman repo to keep
# keep_repo=""
# unset defaults to given value # unset defaults to given value
# dist_name="Manjaro" # dist_name="Manjaro"

3
conf/profile.conf
View file

@ -7,6 +7,9 @@
# displaymanager="lightdm" # displaymanager="lightdm"
# custom pacman repos to keep
# keep_repos=()
################ install ################ ################ install ################
# unset defaults to given value # unset defaults to given value