known_hosts

cd-browse-workspace

@@ -1,2 +1 @@
-apt-get install 'tree'
 tree -a "${GITHUB_WORKSPACE}"

cd-init

@@ -1,11 +1,25 @@
+# packages
+
+apt-get install --yes \
+'rsync' \
+'tree' \
+
+# ssh
+
 mkdir --parents ~/.ssh
 
 echo "${CD}" > ~/.ssh/id_ed25519
 unset CD
 chmod 400 ~/.ssh/id_ed25519
 
-ssh \
+echo -n "\
--o StrictHostKeyChecking=accept-new \
+|1|BcccCTMLpM9HHSgJmPu/FFOwOv0=|+3BKK02xibpCPxQ9Nghi2GbXLng= \
-'cd@de.tilde.link' \
+ssh-ed25519 \
--- \
+AAAAC3NzaC1lZDI1NTE5AAAAIPHCNcgHlQoiNTXfnUZYvHz9OZwYsmBCrSSV7a7Zche5
-hostname
+" > ~/.ssh/known_hosts
+
+# variables
+
+export SSH="cd@de.tilde.link"
+
+export TARGET="${SSH}:/cd/${GITHUB_REF_NAME}/${GITHUB_REPOSITORY}"

cd-synchronize-output

@@ -1,8 +1,6 @@
-apt-get install --yes 'rsync'
-
 rsync \
 --archive \
 --delete-before \
 --verbose \
 'out/' \
-"cd@de.tilde.link:/cd/${GITHUB_REF_NAME}/${GITHUB_REPOSITORY}/"
+"${TARGET}/"