Add a template for WPA2-TTLS, which is notably used by Eduroam. --- a/encryption/templates/active +++ b/encryption/templates/active @@ -4,6 +4,7 @@ wpa-psk wpa-psk-hex wpa2-leap wpa2-peap +wpa2-ttls wep-hex wep-passphrase wep-shared diff --git a/encryption/templates/wpa2-ttls b/encryption/templates/wpa2-ttls new file mode 100644 index 0000000..4f66a1e --- /dev/null +++ b/encryption/templates/wpa2-ttls @@ -0,0 +1,20 @@ +name = WPA2-TTLS (used notably by Eduroam) +author = various contributors +version = 1 +require identity *Identity anonymous_identity *Anonymous_identity password *Password ca_cert *Path_to_CA_Cert +protected password *Password +----- +ctrl_interface=/var/run/wpa_supplicant +network={ + ssid="$_ESSID" + scan_ssid=$_SCAN + proto=WPA2 + key_mgmt=WPA-EAP + group=CCMP TKIP + eap=TTLS + identity="$_IDENTITY" + password="$_PASSWORD" + anonymous_identity="$_ANONYMOUS_IDENTITY" + ca_cert="$_CA_CERT" + phase2="auth=PAP" +} s'> aboutsummaryrefslogtreecommitdiff
path: root/gnu/packages/lean.scm
AgeCommit message (Expand)Author
2022-03-16gnu: Add python-mathlibtools....* gnu/packages/lean.scm (python-mathlibtools): New variable. Signed-off-by: Ludovic Courtès <ludo@gnu.org> Pradana AUMARS
2022-03-11gnu: lean: Update to 3.41.0 and fixes toward cross-compilation....* gnu/packages/lean.scm (lean): Update to 3.41.0. [phases]: Remove trailing #t. [tests?] Set to #false when cross-compiling. [inputs]: Add bash-minimal. Co-authored-by: Maxime Devos <maximedevos@telenet.be> Maxim Cournoyer
2021-12-13gnu: Simplify package inputs....This commit was obtained by running: ./pre-inst-env guix style without any additional argument. Ludovic Courtès