Git-Mirrors/DivestOS
1
0
Fork 0
mirror of https://github.com/Divested-Mobile/DivestOS-Build.git synced 2025-06-24 14:30:40 -04:00
Code Issues Projects Releases Packages Wiki Activity

Add option to choose between DNS patches

Browse source
This commit is contained in:
Tad 2018-06-02 18:02:26 -04:00
parent 747af2bc1c
commit 8698ccc0c2
3 changed files with 17 additions and 7 deletions
Download patch file Download diff file Expand all files Collapse all files

4
Scripts/init.sh
View file

@ -21,13 +21,11 @@
export androidWorkspace="/mnt/Drive-3/"; #XXX: THIS MUST BE CORRECT TO BUILD!
export DEFAULT_DNS="OpenNIC"; #Sets default DNS, choices: Cloudflare, OpenNIC
export MALWARE_SCAN_ENABLED=true; #Set true to perform a fast scan on patchWorkspace() and a through scan on buildAll()
export MALWARE_SCAN_SETTING="quick"; #buildAll() scan speed. Options are quick, extra, slow, full
export MICROG_INCLUDED=true; #Switch to false to prevent inclusion of microG
export HOSTS_BLOCKING=true; #Switch to false to prevent inclusion of our HOSTS file
export NON_COMMERCIAL_USE_PATCHES=false; #Switch to false to prevent inclusion of non-commercial use patches
#END OF USER CONFIGURABLE OPTIONS