deploy: 1944c7d

.buildinfo

@@ -1,4 +1,4 @@
 # Sphinx build info version 1
 # This file hashes the configuration used when building these files. When it is not found, a full rebuild will be done.
-config: c7262952a1f2248185361f48fcd82174
+config: 3c1236f384d0911a705840f9e38db6eb
 tags: 645f666f9bcd5a90fca523b33c5a78b7

_sources/index.rst.txt

@@ -16,6 +16,7 @@ start a discussion on |GitHub_discussion|.
    oar
    lammps
    git
+   vpn
 
 .. toctree::
    :maxdepth: 1

_sources/vpn.rst.txt

@@ -0,0 +1,40 @@
+VPN tips
+========
+
+To automaticaly connect to the UGA VPN, you can
+create a bash script named `vpn-connect.sh` and
+containing the following information:
+
+.. code:: bash
+
+    #!/bin/bash
+
+    # Define VPN server, username, password, and group
+    VPN_SERVER="vpn.grenet.fr"
+    VPN_USER="your-username-here"
+    VPN_PASSWORD="your-password-here"
+    VPN_GROUP="Personnels de l' UGA"
+
+    # Path to the log file
+    OCLOG="$HOME/vpn_connection.log"
+
+    echo "Connecting to VPN at $VPN_SERVER with username $VPN_USER"
+    echo "You may be prompted for your sudo password if necessary..."
+
+    # Use openconnect with protocol, group, and password provided via echo
+    echo "$VPN_PASSWORD" | sudo openconnect --protocol=anyconnect --authgroup="$VPN_GROUP" --user="$VPN_USER" "$VPN_SERVER" --passwd-on-stdin | tee -a "$OCLOG"
+
+    echo "VPN connection established. Logs can be found at $OCLOG"
+
+WARNING
+-------
+
+You don't have to save your password in `vpn-connect.sh`.
+If you leave the `VPN_PASSWORD` blank, you will be prompted
+to type your password. If you choose to write your password in
+the file, you can still protect the file using:
+
+.. code:: bash
+
+    sudo chown root:root vpn-connect.sh
+    sudo chmod 700 vpn-connect.sh

_static/copybutton.css

@@ -0,0 +1,94 @@
+/* Copy buttons */
+button.copybtn {
+    position: absolute;
+    display: flex;
+    top: .3em;
+    right: .3em;
+    width: 1.7em;
+    height: 1.7em;
+	opacity: 0;
+    transition: opacity 0.3s, border .3s, background-color .3s;
+    user-select: none;
+    padding: 0;
+    border: none;
+    outline: none;
+    border-radius: 0.4em;
+    /* The colors that GitHub uses */
+    border: #1b1f2426 1px solid;
+    background-color: #f6f8fa;
+    color: #57606a;
+}
+
+button.copybtn.success {
+    border-color: #22863a;
+    color: #22863a;
+}
+
+button.copybtn svg {
+    stroke: currentColor;
+    width: 1.5em;
+    height: 1.5em;
+    padding: 0.1em;
+}
+
+div.highlight  {
+    position: relative;
+}
+
+/* Show the copybutton */
+.highlight:hover button.copybtn, button.copybtn.success {
+	opacity: 1;
+}
+
+.highlight button.copybtn:hover {
+    background-color: rgb(235, 235, 235);
+}
+
+.highlight button.copybtn:active {
+    background-color: rgb(187, 187, 187);
+}
+
+/**
+ * A minimal CSS-only tooltip copied from:
+ *   https://codepen.io/mildrenben/pen/rVBrpK
+ *
+ * To use, write HTML like the following:
+ *
+ * <p class="o-tooltip--left" data-tooltip="Hey">Short</p>
+ */
+ .o-tooltip--left {
+  position: relative;
+ }
+
+ .o-tooltip--left:after {
+    opacity: 0;
+    visibility: hidden;
+    position: absolute;
+    content: attr(data-tooltip);
+    padding: .2em;
+    font-size: .8em;
+    left: -.2em;
+    background: grey;
+    color: white;
+    white-space: nowrap;
+    z-index: 2;
+    border-radius: 2px;
+    transform: translateX(-102%) translateY(0);
+    transition: opacity 0.2s cubic-bezier(0.64, 0.09, 0.08, 1), transform 0.2s cubic-bezier(0.64, 0.09, 0.08, 1);
+}
+
+.o-tooltip--left:hover:after {
+    display: block;
+    opacity: 1;
+    visibility: visible;
+    transform: translateX(-100%) translateY(0);
+    transition: opacity 0.2s cubic-bezier(0.64, 0.09, 0.08, 1), transform 0.2s cubic-bezier(0.64, 0.09, 0.08, 1);
+    transition-delay: .5s;
+}
+
+/* By default the copy button shouldn't show up when printing a page */
+@media print {
+    button.copybtn {
+        display: none;
+    }
+}