Home
last modified time | relevance | path

Searched refs:PUB_ID_FILE (Results 1 – 1 of 1) sorted by relevance

/external/openssh/contrib/
Dssh-copy-id78 PUB_ID_FILE="$L_ID_FILE"
80 PUB_ID_FILE="$L_ID_FILE.pub"
83 [ "$FORCED" ] || PRIV_ID_FILE=$(dirname "$PUB_ID_FILE")/$(basename "$PUB_ID_FILE" .pub)
86 for f in "$PUB_ID_FILE" ${PRIV_ID_FILE:+"$PRIV_ID_FILE"} ; do
89 …[ "$f" = "$PRIV_ID_FILE" ] && L_PRIVMSG=" (to install the contents of '$PUB_ID_FILE' anyway, look …
94 printf '%s: INFO: Source of key(s) to be installed: "%s"\n' "$0" "$PUB_ID_FILE" >&2
95 GET_ID="cat \"$PUB_ID_FILE\""
193 use_id_file "$PUB_ID_FILE"