Searched refs:TYPE_USER (Results 1 – 1 of 1) sorted by relevance
44 declare -rx TYPE_USER="user"70 declare -x dump_type=$TYPE_USER90 $TYPE_USER)203 if ! { [[ $dump_type = "$TYPE_USER" ]] || \