On 22 May 2020, at 2:21, Ivan Vučica wrote:
Well spotted, but the correct approach is actually to use "sudo -E"
instead of just "sudo" to inherit the current environment.
Otherwise you'd have to source the environment script within the new
shell; sudo bash -c "source $path_to_gnustepsh && make install",
perhaps?
And, are .profile and .bashrc even used in sudo's subshell out of the
box?
And it’s quite good practice to not build as root. So do ```make``` as
a regular user followed by ```make install``` with ```sudo -E```. If you
do have a machine with multiple cores/hyperthreading use -j to speed up
to the build process like so: ```make -j<numberOfThreads>```, fe ```make
-j8```.
