GaPhil

#!/bin/bash

# Setting defaults
FILE="./main"
mkdir -p "./out"
OUT_DIR="./out"
REFS=false
CROSS_REFS=false

function usage() {

GaPhil

# Commits are made at the same time in the same time zone.
# Date:   Tue Jun 16 23:59:59 2020 +0000.
alias gitco="GIT_AUTHOR_DATE='$(TZ=":UTC" date -v 23H -v 59M -v 59S)'\
             GIT_COMITTER_DATE='$(TZ=":UTC" date -v 23H -v 59M -v 59S)'\
             git commit --date '$(TZ=":UTC" date -v 23H -v 59M -v 59S)'"

GaPhil

Get files from local machine onto server

start off by copying your local files to a remote machine using scp. You can choose one of the servers here

general command: scp <file_name_with_path> <kth_username>@<host>:<path_on_host>
example command: scp <file_name_with_path> bobsmith@avril.sys.ict.kth.se:~/Desktop/engineering-skills

now to check that your files are on the server by connecting via ssh

general command: ssh <kth_username>@<host>
example command: ssh bobsmith@avril.sys.ict.kth.se