Package: elan
Version: 3.0.0-2
Severity: important
I installed elan, and had no ~/.elan directory. I created an empty
directory ~/leantest, changed into it and ran the command "elan
default stable". This creates the ~/.elan directory and populates
it. However, the output of this command was:
info: syncing channel updates for 'stable'
info: latest update on stable, lean version v4.4.0
info: downloading component 'lean'
Total: 182.6 MiB Speed: 8.0 MiB/s
info: installing component 'lean'
error: error parsing settings
The settings file, ~/.elan/settings.toml, contains the single line:
{ telemetry = false, version = "12", overrides = {} }
which is clearly in JSON format rather than TOML format.
Manually editing the file to read:
telemetry = false
version = "12"
overrides = { }
allows "elan default stable" to work, though it then modifies
~/.elan/settings.toml to read:
{ default_toolchain = "stable", telemetry = false, version = "12", overrides =
{} }
which then breaks the next attempt to use elan:
euler:~/leantest $ elan default stable
info: using existing install for 'stable'
error: error parsing settings
So it seems that elan is for some reason writing out the settings in
JSON rather than TOML format every time it touches them.
As a data point, the settings.toml on a Mac reads (between the "---"
lines):
---
default_toolchain = "stable"
telemetry = false
version = "12"
[overrides]
---
So something is very wrong here.
Best wishes,
Julian
