tools: use "which"

Somehow "type" doesn't really work. Signed-off-by: 's avatarChristian Brauner <christian.brauner@ubuntu.com>
parent 555200a6
...@@ -105,16 +105,16 @@ echo ...@@ -105,16 +105,16 @@ echo
echo -n "User namespace: " && is_enabled CONFIG_USER_NS echo -n "User namespace: " && is_enabled CONFIG_USER_NS
echo echo
if is_set CONFIG_USER_NS; then if is_set CONFIG_USER_NS; then
if type newuidmap > /dev/null 2>&1; then if which newuidmap > /dev/null 2>&1; then
f=`type -P newuidmap` f=`which newuidmap`
if [ ! -u "${f}" ]; then if [ ! -u "${f}" ]; then
echo "Warning: newuidmap is not setuid-root" echo "Warning: newuidmap is not setuid-root"
fi fi
else else
echo "newuidmap is not installed" echo "newuidmap is not installed"
fi fi
if type newgidmap > /dev/null 2>&1; then if which newgidmap > /dev/null 2>&1; then
f=`type -P newgidmap` f=`which newgidmap`
if [ ! -u "${f}" ]; then if [ ! -u "${f}" ]; then
echo "Warning: newgidmap is not setuid-root" echo "Warning: newgidmap is not setuid-root"
fi fi
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment