Hello John, * John J. Karcher <devu...@alternateapproach.com> [2018-06-05 18:55:48 -0400]: > Run script aborted because gdisk is not installed > Makefile:312: recipe for target 'run/sculpt' failed > make: *** [run/sculpt] Error 1 > > In fact, "gdisk" is installed, but it doesn't run under a normal user. I > could hack the scripts to use "sudo", but I thought I'd check here first, in > case there is a simple solution (since Ubuntu and Debian usually operate > similarly).
Please check if '/sbin' is included in your $PATH variable. There are distros, e.g. Debian, which do not set the common 'sbin' paths in the shell when executed as non-root user. This issue comes up now and then but so far we have not decided on how - and if at all - to solve it. Personally, I always set the PATH variable myself so no suprises there. Regards, Josef -- Josef Söntgen Genode Labs http://www.genode-labs.com/ · http://genode.org/ _______________________________________________ Genode users mailing list users@lists.genode.org https://lists.genode.org/listinfo/users