Configure user settings from the environment

[ryneeverett]

The motivation here is to remove the steps of the build process which involve editing in-tree files (init.sh and Generate_Signing_Keys.sh), which complicates updates.

[SkewedZeppelin]

Overrides can already be provided via a drop-in

DivestOS-Build/Scripts/init.sh

Line 106 in 2bb4d94

[ -f"$HOME/.divested.vars" ] &&source$HOME/.divested.vars &&echo"included $HOME/.divested.vars config"

[ryneeverett]

I hadn't noticed that so I'll have to give that a try, thanks! I dropped the commit changing all the settings so now I'm only asking to add the settings to avoid editing Generate_Signing_Keys.sh.

[ryneeverett]

Overrides can already be provided via a drop-in

The problem with this approach is that it is no good for DOS_WORKSPACE_ROOT because DOS_SIGNING_KEYS and DOS_SIGNING_GPG build upon it so they will still point to /mnt/dos/Signing_Keys/*. Sure, one could override those too but it doesn't seem very future-proof. Any additional interdependency of settings will cause unexpected behavior with this approach to user settings.

[steadfasterX]

exactly how it was intended and how I use it