/usr/bin/dolfin-get-demos is in dolfin-bin 2016.2.0-2.
This file is owned by root:root, with mode 0o755.
The actual contents of the file can be viewed below.
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 | #!/bin/bash
#
# Utility script for installing demos in user's home directory
DEMO_DIR=/usr/share/dolfin/demo
INSTALL_DIR=$HOME/dolfin-demos
URL="http://fenicsproject.org/documentation/doc_"`echo 2016.2.0 | cut -d'+' -f1`".html"
echo "This script will install the DOLFIN demos in your home directory:"
echo
echo " $INSTALL_DIR"
echo
echo -n "Do you want to install the DOLFIN demos in your home directory? [y] "
read answer
if [[ $answer == "y" || $answer == "" ]]; then
echo "Installing demos..."
cp -r $DEMO_DIR $INSTALL_DIR
echo
echo "The demos have now been installed in $INSTALL_DIR."
echo
echo "-------------------------------------------------------------------------------"
echo "To get started, enter the following command:"
echo
echo " cd $INSTALL_DIR/pde"
echo
echo "The documentation can be found at the following address:"
echo
echo " $URL"
echo "-------------------------------------------------------------------------------"
echo
else
echo "ok, demos not installed"
fi
|