Diomidis Spinellis

No preference. But an error message must be shown if the variable isn't set.

Although this is not specified in the [Eduroam-provided](https://cat.eduroam.org/) setup, setting `anonymous_identity="anonymous"` seems to allow the connection with *iwconfig* providing the following output. ``` wlan0 IEEE 802.11 ESSID:"eduroam" Mode:Managed Frequency:2.447 GHz...

I went to AUEB and tested it. `anonymous` seems to work for associating, so let's keep it like that. I think that DHCP is a different issue, no?

I have indeed tried running `dhclient wlan0`, but it didn't help.

* [ ] A separate daemon will wait for the WiFi connect button to be pressed * [ ] It then initiates the [WPS connection procedure](https://wiki.debian.org/WiFi/HowToUse#WPS) * [ ] Daemon...

Seems close. Will the nohup command survive reboots? For the LED you need to use `device_io.py`. Have you tested it?

Indeed, this seems like a good suggestion for the setup. Do you know if the required packages (ibbluetooth-dev libglib2.0-dev python3-dev python3-setuptools shellcheck sqlite3 virtualenv dh-virtualenv debhelper supervisor) are available on...

Indeed! These are one of the few documents where the two company logos appear together. You might want to open separate issues for each thing that needs to be implemented,...

See also the [DP-3T proposals](https://github.com/DP-3T/documents/blob/master/DP3T%20-%20Upload%20Authorisation%20Analysis%20and%20Guidelines.pdf)

We can underclock it by adding the following lines of code in `/boot/config.txt` ``` arm_freq=900 arm_freq_min=600 ``` This will set an upper bound of 900mHz. Another idea is to switch...