Can't install FEniCS through Docker if username includes whitespaces

Issue #764 invalid
Jakob Wittendorf Thomasen created an issue

Hello

I experienced a complication when installing FEniCS through the Docker Quickstart Terminal with the FEniCS Docker script:

curl -s https://get.fenicsproject.org | bash

After some investigation the problem was found to be in the installation script. Here the last lines in the script should be changed from

# Copy the script to PATH
$SUDO mkdir -p $DEST_DIR
$SUDO cp $TMPDEST $DEST
$SUDO chmod a+rx $DEST
echo -e "Successfully installed the ${GREEN}fenicsproject${NORMAL} script in ${DEST}."
echo ""
quickstart

to

# Copy the script to PATH
$SUDO mkdir -p "$DEST_DIR"
$SUDO cp "$TMPDEST" "$DEST"
$SUDO chmod a+rx "$DEST"
echo -e "Successfully installed the ${GREEN}fenicsproject${NORMAL} script in ${DEST}."
echo ""
quickstart

That's four sets of (" ")'s added and this should enable users with whitespaces in their user names to carry out the installation.

I hope this was clear, if not reply and I will try and clarify.

Best regards, Jakob

Comments (5)

  1. Log in to comment