fix smoke tests

tests/smoke/Commands/format.smoke.yaml

@@ -212,12 +212,12 @@ tests:
         temp=$(mktemp -d)
         trap 'rm -rf -- "$temp"' EXIT
         pushd $temp > /dev/null
-        juvix init -n
+        juvix init
         popd > /dev/null
         cp positive/Format.juvix $temp
         mkdir $temp/sub
         pushd $temp/sub > /dev/null
-        juvix init -n
+        juvix init
         popd > /dev/null
         cp positive/Format.juvix $temp/sub
         juvix format $temp
@@ -364,4 +364,3 @@ tests:
     stderr:
       contains: juvix format error
     exit-status: 1
-

tests/smoke/Commands/init.smoke.yaml

@@ -19,7 +19,7 @@ tests:
         options:
           - dot-all
     exit-status: 0
-  - name: init-non-interactive-name
+  - name: init-name
     command:
       shell:
         - bash
@@ -28,7 +28,7 @@ tests:
         trap 'rm -rf -- "$temp"' EXIT
         mkdir "$temp/packagename"
         cd "$temp/packagename"
-        juvix init -n
+        juvix init
         juvix repl Package.juvix
     stdout:
       contains: '"packagename"'
@@ -42,21 +42,21 @@ tests:
         temp=$(mktemp -d)
         trap 'rm -rf -- "$temp"' EXIT
         cd $temp
-        echo -e 'packagename\n\n\n' | juvix init
+        echo -e 'packagename\n\n\n' | juvix init -i
         juvix repl Package.juvix
     stdout:
       contains: '"packagename"'
     stdin: Package.name package
     exit-status: 0
-  - name: init-version
+  - name: init-version-interactive
     command:
       shell:
         - bash
       script: |
         temp=$(mktemp -d)
         trap 'rm -rf -- "$temp"' EXIT
         cd $temp
-        echo -e 'packagename\n1.2.3-prerel+meta\n\n' | juvix init
+        echo -e 'packagename\n1.2.3-prerel+meta\n\n' | juvix init -i
         juvix repl Package.juvix
     stdout:
       contains: |