Merge pull request #1160 from Zokrates/rc/0.7.14

Re-release 0.7.14
Zokrates · May 31, 2022 · c09045a · c09045a
2 parents d7b2fd7 + 53a5be6
commit c09045a
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -4,7 +4,7 @@ All notable changes to this project will be documented in this file.
 ## [Unreleased]
 https://github.com/Zokrates/ZoKrates/compare/latest...develop
 
-## [0.7.14] - 2022-05-30
+## [0.7.14] - 2022-05-31
 
 ### Release
 - https://github.com/Zokrates/ZoKrates/releases/tag/0.7.14 <!-- markdown-link-check-disable-line -->

diff --git a/scripts/one_liner.sh b/scripts/one_liner.sh
@@ -296,7 +296,7 @@ main() {
         rm -rf $dest/*
         cp -r $td/* $dest
       else
-        read -p "ZoKrates is already installed, overwrite (y/n)? " answer
+        read -p "ZoKrates is already installed, overwrite (y/n)? " answer < /dev/tty
         case ${answer} in
             y|Y )
                 rm -rf $dest/*