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