From d5c7057fd18663c08da3a2e322ac95fa024f9ad2 Mon Sep 17 00:00:00 2001 From: Daragh <22351159@studentmail.ul.ie> Date: Sun, 6 Jul 2025 19:54:01 +0100 Subject: [PATCH 1/5] feat: docs for connecting to vpn (linux) --- src/tutorials/skynet/connect_vpn.md | 15 +++++++++++++++ 1 file changed, 15 insertions(+) create mode 100644 src/tutorials/skynet/connect_vpn.md diff --git a/src/tutorials/skynet/connect_vpn.md b/src/tutorials/skynet/connect_vpn.md new file mode 100644 index 0000000..21d9cba --- /dev/null +++ b/src/tutorials/skynet/connect_vpn.md @@ -0,0 +1,15 @@ +# Connect to Skynet VPN + +## Linux + +1 .Install [openfortivpn], its available in many distros repositories, it also has instructions for building from source +2. Run ```sudo openfortivpn ulssl.ul.ie:443 -u -p "" --saml-login --trusted-cert 22edd86cce8a4d46591f0f8b63f388b98d9abc8a2eb4cd684c85172be066bac2``` +3. Click link in terminal and verify through browser +4. Should now be on the vpn - can be tested with ```ssh @cadie.skynet.ie``` + + +## Windows + + + +[openfortivpn]: https://github.com/adrienverge/openfortivpn -- 2.49.0 From efe76a5c8bbf0fd767d9640d3df0b1149c3f6b80 Mon Sep 17 00:00:00 2001 From: Brendan Golden Date: Sun, 6 Jul 2025 20:43:04 +0100 Subject: [PATCH 2/5] doc: added windows instructions --- src/tutorials/skynet/connect_vpn.md | 15 ++++++++++++++- 1 file changed, 14 insertions(+), 1 deletion(-) diff --git a/src/tutorials/skynet/connect_vpn.md b/src/tutorials/skynet/connect_vpn.md index 21d9cba..5ed908e 100644 --- a/src/tutorials/skynet/connect_vpn.md +++ b/src/tutorials/skynet/connect_vpn.md @@ -2,14 +2,27 @@ ## Linux -1 .Install [openfortivpn], its available in many distros repositories, it also has instructions for building from source +1. Install [openfortivpn], its available in many distros repositories, it also has instructions for building from source 2. Run ```sudo openfortivpn ulssl.ul.ie:443 -u -p "" --saml-login --trusted-cert 22edd86cce8a4d46591f0f8b63f388b98d9abc8a2eb4cd684c85172be066bac2``` 3. Click link in terminal and verify through browser 4. Should now be on the vpn - can be tested with ```ssh @cadie.skynet.ie``` ## Windows +1. Install [FortiClient VPN-only][windows-forticlient]. +2. Create a new profile with teh following values: + + | Field | Value | + |------------------|-----------------| + | Gateway | ``ulssl.ul.ie`` | + | Port | ``443`` | + | Enable SSO | Ticked | + | External browser | Ticked | +3. Connect + * A browser window will open up. +4. Login using your UL ``email``/``password``. [openfortivpn]: https://github.com/adrienverge/openfortivpn +[windows-forticlient]: https://www.fortinet.com/support/product-downloads#vpn -- 2.49.0 From 204fa5cf3f0e80dd0556b62c572003b23f724a3c Mon Sep 17 00:00:00 2001 From: Brendan Golden Date: Mon, 7 Jul 2025 20:00:22 +0100 Subject: [PATCH 3/5] doc: added using teh vpn on nix --- src/tutorials/skynet/connect_vpn.md | 44 +++++++++++++++++++++++++++++ 1 file changed, 44 insertions(+) diff --git a/src/tutorials/skynet/connect_vpn.md b/src/tutorials/skynet/connect_vpn.md index 5ed908e..fe74263 100644 --- a/src/tutorials/skynet/connect_vpn.md +++ b/src/tutorials/skynet/connect_vpn.md @@ -26,3 +26,47 @@ [openfortivpn]: https://github.com/adrienverge/openfortivpn [windows-forticlient]: https://www.fortinet.com/support/product-downloads#vpn + + +## Nix + +For folks who have [nix][nix] installed they can use. +Details on how to use it can be found on the [github]. + +If you have NixOS installed you can use the following module. +It makes use of ``Mome Manager`` to create the config file in ``$USDERNAME``'s home dir. +Using ``vpn up`` and ``vpn down`` to control the vpn. + +```nix +/* +Config for UL VPN. +Opens a small browser to grab the cookie +Use ``vpn up ul`` and ``vpn down ul`` +*/ +{inputs, ...}: { + # https://github.com/NixOS/nixpkgs/issues/231038#issuecomment-1637903456 + environment.etc."ppp/options".text = "ipcp-accept-remote"; + + home-manager.users."$USDERNAME".home = { + file.".vpn".text = '' + [ + { + "name": "ul", + "host": "ulssl.ul.ie", + "port": 443, + "default": true, + "cert": "" + } + ] + ''; + + packages = [ + inputs.openfortivpn-cli.packages.x86_64-linux.default + ]; + }; +} +``` + + +[nix]: ../../skynet/nix.md +[github]: https://github.com/adrienverge/openfortivpn \ No newline at end of file -- 2.49.0 From bc44e176191b138ccab10209343cea30aa3efc68 Mon Sep 17 00:00:00 2001 From: esy Date: Mon, 7 Jul 2025 19:35:08 +0000 Subject: [PATCH 4/5] Update src/tutorials/skynet/connect_vpn.md --- src/tutorials/skynet/connect_vpn.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/tutorials/skynet/connect_vpn.md b/src/tutorials/skynet/connect_vpn.md index fe74263..d4dd64e 100644 --- a/src/tutorials/skynet/connect_vpn.md +++ b/src/tutorials/skynet/connect_vpn.md @@ -34,7 +34,7 @@ For folks who have [nix][nix] installed they can use. Details on how to use it can be found on the [github]. If you have NixOS installed you can use the following module. -It makes use of ``Mome Manager`` to create the config file in ``$USDERNAME``'s home dir. +It makes use of ``Home Manager`` to create the config file in ``$USERNAME``'s home dir. Using ``vpn up`` and ``vpn down`` to control the vpn. ```nix @@ -47,7 +47,7 @@ Use ``vpn up ul`` and ``vpn down ul`` # https://github.com/NixOS/nixpkgs/issues/231038#issuecomment-1637903456 environment.etc."ppp/options".text = "ipcp-accept-remote"; - home-manager.users."$USDERNAME".home = { + home-manager.users."$USERNAME".home = { file.".vpn".text = '' [ { -- 2.49.0 From ca94989b92ac9daf71548207f83c8da886bfc4ec Mon Sep 17 00:00:00 2001 From: esy Date: Mon, 7 Jul 2025 19:41:51 +0000 Subject: [PATCH 5/5] Update src/tutorials/skynet/connect_vpn.md --- src/tutorials/skynet/connect_vpn.md | 61 +++++++++++++++-------------- 1 file changed, 31 insertions(+), 30 deletions(-) diff --git a/src/tutorials/skynet/connect_vpn.md b/src/tutorials/skynet/connect_vpn.md index d4dd64e..74a1f40 100644 --- a/src/tutorials/skynet/connect_vpn.md +++ b/src/tutorials/skynet/connect_vpn.md @@ -1,36 +1,8 @@ # Connect to Skynet VPN -## Linux +## Nix (recommended) -1. Install [openfortivpn], its available in many distros repositories, it also has instructions for building from source -2. Run ```sudo openfortivpn ulssl.ul.ie:443 -u -p "" --saml-login --trusted-cert 22edd86cce8a4d46591f0f8b63f388b98d9abc8a2eb4cd684c85172be066bac2``` -3. Click link in terminal and verify through browser -4. Should now be on the vpn - can be tested with ```ssh @cadie.skynet.ie``` - - -## Windows -1. Install [FortiClient VPN-only][windows-forticlient]. -2. Create a new profile with teh following values: - - | Field | Value | - |------------------|-----------------| - | Gateway | ``ulssl.ul.ie`` | - | Port | ``443`` | - | Enable SSO | Ticked | - | External browser | Ticked | -3. Connect - * A browser window will open up. -4. Login using your UL ``email``/``password``. - - - -[openfortivpn]: https://github.com/adrienverge/openfortivpn -[windows-forticlient]: https://www.fortinet.com/support/product-downloads#vpn - - -## Nix - -For folks who have [nix][nix] installed they can use. +For folks who have [nix][nix] installed they can use this. Details on how to use it can be found on the [github]. If you have NixOS installed you can use the following module. @@ -66,6 +38,35 @@ Use ``vpn up ul`` and ``vpn down ul`` }; } ``` +## Linux + +1. Install [openfortivpn], its available in many distros repositories, it also has instructions for building from source +2. Run ```sudo openfortivpn ulssl.ul.ie:443 -u -p "" --saml-login --trusted-cert 22edd86cce8a4d46591f0f8b63f388b98d9abc8a2eb4cd684c85172be066bac2``` +3. Click link in terminal and verify through browser +4. Should now be on the vpn - can be tested with ```ssh @cadie.skynet.ie``` + + +## Windows +1. Install [FortiClient VPN-only][windows-forticlient]. +2. Create a new profile with teh following values: + + | Field | Value | + |------------------|-----------------| + | Gateway | ``ulssl.ul.ie`` | + | Port | ``443`` | + | Enable SSO | Ticked | + | External browser | Ticked | +3. Connect + * A browser window will open up. +4. Login using your UL ``email``/``password``. + + + +[openfortivpn]: https://github.com/adrienverge/openfortivpn +[windows-forticlient]: https://www.fortinet.com/support/product-downloads#vpn + + + [nix]: ../../skynet/nix.md -- 2.49.0