- Sort Score
- Result 10 results
- Languages All
Results 1 - 1 of 1 for fi (0.11 sec)
-
src/packaging/common/scripts/postrm
fi fi if [ "$REMOVE_DIRS" = "true" ]; then if [ -d "$PID_DIR" ]; then echo -n "Deleting PID directory..." rm -rf "$PID_DIR" && echo " OK" || echo " ERROR: unable to delete directory [$PID_DIR]" fi fi if [ "$REMOVE_USER_AND_GROUP" = "true" ]; then if id "$FESS_USER" > /dev/null 2>&1 ; then userdel "$FESS_USER" fi
Plain Text - Registered: Mon May 06 08:04:11 GMT 2024 - Last Modified: Thu Dec 10 01:24:02 GMT 2015 - 2.2K bytes - Viewed (0)