fix: elan show without default toolchain

Fixes #33
leanprover · May 24, 2021 · d73b672 · d73b672
1 parent e1c024d
commit d73b672
Show file tree

Hide file tree

Showing 3 changed files with 10 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,10 @@
+# Unreleased
+
+## Changed
+
+- Update suggestion when no default toolchain is configured (#31)
+- Fix `elan show` when no default toolchain is configured (#33)
+
 # 1.0.3 - 2021-04-30
 
 ## Changed

diff --git a/src/elan-cli/elan_mode.rs b/src/elan-cli/elan_mode.rs
@@ -340,7 +340,7 @@ fn show(cfg: &Cfg) -> Result<()> {
         if show_headers { print_header("installed toolchains") }
         let default_name = try!(cfg.get_default());
         for t in installed_toolchains {
-            if default_name == t {
+            if default_name.as_ref() == Some(&t) {
                 println!("{} (default)", t);
             } else {
                 println!("{}", t);

diff --git a/src/elan/config.rs b/src/elan/config.rs
@@ -271,9 +271,9 @@ impl Cfg {
         })
     }
 
-    pub fn get_default(&self) -> Result<String> {
+    pub fn get_default(&self) -> Result<Option<String>> {
         self.settings_file.with(|s| { 
-            Ok(s.default_toolchain.clone().unwrap())
+            Ok(s.default_toolchain.clone())
         })
     }