Make juvix init non-interactive by default

anoma · Dec 1, 2024 · 97d5a78 · 97d5a78
1 parent dc8d4b7
commit 97d5a78
Show file tree

Hide file tree

Showing 2 changed files with 7 additions and 7 deletions.
diff --git a/app/Commands/Init.hs b/app/Commands/Init.hs
@@ -49,7 +49,7 @@ init opts = do
   when isInteractive (renderStdOutLn @Text "you are all set")
   where
     isInteractive :: Bool
-    isInteractive = not (opts ^. initOptionsNonInteractive) && not (opts ^. initOptionsBasic)
+    isInteractive = opts ^. initOptionsInteractive
 
 checkNotInProject :: forall r. (Members '[EmbedIO, App] r) => Sem r ()
 checkNotInProject =

diff --git a/app/Commands/Init/Options.hs b/app/Commands/Init/Options.hs
@@ -3,7 +3,7 @@ module Commands.Init.Options where
 import CommonOptions
 
 data InitOptions = InitOptions
-  { _initOptionsNonInteractive :: Bool,
+  { _initOptionsInteractive :: Bool,
     _initOptionsBasic :: Bool
   }
   deriving stock (Data)
@@ -12,16 +12,16 @@ makeLenses ''InitOptions
 
 parseInitOptions :: Parser InitOptions
 parseInitOptions = do
-  _initOptionsNonInteractive <-
+  _initOptionsInteractive <-
     switch
-      ( long "non-interactive"
-          <> short 'n'
-          <> help "Run non-interactively. Generates a default Package.juvix"
+      ( long "interactive"
+          <> short 'i'
+          <> help "Run interactively"
       )
   _initOptionsBasic <-
     switch
       ( long "basic"
           <> short 'b'
-          <> help "Run non-interactively. Generates a basic Package.juvix that does not depend on the standard library"
+          <> help "Generate a basic Package.juvix that does not depend on the standard library"
       )
   pure InitOptions {..}