commit cdb913e5f8293621d266918c8dde4511c5a55135
parent 34c23bf018037ef5cf3db2543b98b276e66ff48a
Author: Anders Damsgaard <anders@adamsgaard.dk>
Date: Tue, 8 Jan 2019 17:30:27 +0100
Use custom port for bookmark
Diffstat:
1 file changed, 4 insertions(+), 1 deletion(-)
diff --git a/links/bin/bookmark b/links/bin/bookmark
@@ -4,6 +4,7 @@ localfile="$HOME/doc/bookmark.txt"
remoteuser=andersdc
hostname=adamsgaard.dk
remotefile="/home/$remoteuser/doc/bookmark.txt"
+port=12344
function help {
echo "Usage: ${0##*/} [OPTION | COMMAND [URL]]"
@@ -12,18 +13,20 @@ function help {
function init {
mkdir -p "$(dirname "$localfile")"
touch "$localfile"
- ssh -q "$remoteuser@$hostname" -t \
+ ssh -p "$port" -q "$remoteuser@$hostname" -t \
"mkdir -p $(dirname $remotefile) && touch $remotefile"
}
function upload {
scp -q \
+ -p "$port" \
"$localfile" \
"$remoteuser@$hostname:$remotefile"
}
function download {
scp -q \
+ -p "$port" \
"$remoteuser@$hostname:$remotefile" \
"$localfile"
}