Use standard ssh port and correct path for uploading docs

arximboldi · Mar 25, 2024 · de5d6d5 · de5d6d5
1 parent d8fd87f
commit de5d6d5
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 5 deletions.
diff --git a/benchmark/CMakeLists.txt b/benchmark/CMakeLists.txt
@@ -112,14 +112,13 @@ foreach(_file IN LISTS immer_benchmarks)
 endforeach()
 
 set(immer_ssh_method
-  ssh -p 5488
-      -o StrictHostKeyChecking=no)
+  ssh -o StrictHostKeyChecking=no)
 
 add_custom_target(upload-benchmark-reports
   COMMAND
   rsync -av -e \"${immer_ssh_method}\"
         ${immer_benchmark_report_base_dir}
-        raskolnikov@sinusoid.es:public/misc/immer/)
+        root@sinusoid.es:/var/lib/syncthing/public/misc/immer/)
 
 add_custom_target(copy-benchmark-reports
   COMMAND

diff --git a/doc/CMakeLists.txt b/doc/CMakeLists.txt
@@ -12,11 +12,10 @@ add_custom_target(docs
 add_dependencies(docs doxygen)
 
 set(immer_ssh_method
-  ssh -p 5488
       -o StrictHostKeyChecking=no)
 
 add_custom_target(upload-docs
   COMMAND
   rsync -av -e \"${immer_ssh_method}\"
         ${CMAKE_CURRENT_SOURCE_DIR}/_build/html/*
-        raskolnikov@sinusoid.es:public/immer/)
+        root@sinusoid.es:/var/lib/syncthing/public/immer/)