The script could try to make the directory, and only resort to sudo if it can't be created.

eg:

mkdir -p $INST 2> /dev/null
if [ ! -d $INST ]; then

@Bastien Montagne (mont29), what do you think?

In D1596#34761, @Campbell Barton (campbellbarton) wrote:

The script could try to make the directory, and only resort to sudo if it can't be created.

eg:

mkdir -p $INST 2> /dev/null
if [ ! -d $INST ]; then

@Bastien Montagne (mont29), what do you think?

Question then is, why not simply do:

mkdir -p $INST 2> /dev/null
$SUDO mkdir -p $INST 2> /dev/null
if [ ! -d $INST ]; then
  # rights issue