WIP: Remove blobs and split website in another repository #186

Closed
rarias wants to merge 458 commits from remove-website into old-master
Showing only changes of commit dbb7e1fe36 - Show all commits

View File

@@ -35,6 +35,16 @@
services.openssh.settings.X11Forwarding = true;
# Use SSH tunnel to reach internal hosts
programs.ssh.extraConfig = ''
Host bscpm04.bsc.es gitlab-internal.bsc.es tent
ProxyJump raccoon
Host raccoon
ProxyJump apex
HostName 127.0.0.1
Port 22022
'';
networking = {
timeServers = [ "ntp1.upc.edu" "ntp2.upc.edu" ];
hostName = "fox";