Searched refs:TYPE_USER (Results 1 – 1 of 1) sorted by relevance
43 declare -rx TYPE_USER="user"69 declare -x dump_type=$TYPE_USER89 $TYPE_USER)202 if ! { [[ $dump_type = "$TYPE_USER" ]] || \