nix repl: Only hide the progress bar while waiting for user input#9476

edolstra merged 1 commit intoNixOS:masterNixOS/nix:masterfrom

alois31:restore-progress-baralois31/nix:restore-progress-barCopy head branch name to clipboard