Search Options

Results per page
Sort
Preferred Languages
Advance

Results 1 - 1 of 1 for userdel (0.04 sec)

  1. src/packaging/common/scripts/postrm

            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
    
        if getent group "$FESS_GROUP" > /dev/null 2>&1 ; then
            groupdel "$FESS_GROUP"
        fi
    fi
    
    Registered: Thu Sep 04 12:52:25 UTC 2025
    - Last Modified: Thu Dec 10 01:24:02 UTC 2015
    - 2.2K bytes
    - Viewed (0)
Back to top