Searched refs:DEV_PRETTY (Results 1 – 1 of 1) sorted by relevance
38 DEV_PRETTY=$(echo "$DEV_NAME (at '$DEV_PATH')")40 printf "Enter PIN for $DEV_PRETTY once (ignore further prompts): "57 echo "Unprotected credentials on $DEV_PRETTY for '$RESIDENT_RP':"62 echo "No unprotected credentials on $DEV_PRETTY"65 echo "$DEV_PRETTY cannot enumerate credentials"70 echo "Found an unprotected SSH credential on $DEV_PRETTY!"72 echo "No unprotected SSH credentials (default settings) on $DEV_PRETTY"