Reputation: 73
I had some troubles earlier importing System.Random, and in the process of trying to fix this I did the command :set -v
in the ghci terminal.
So now whenever I use :r
, I get a lot of unnecessary information. So how do i unset the :set -v
command?
Upvotes: 6
Views: 305
Reputation: 476729
You can set the verbosity level to level n with :set -vn
. If you write -v
, this is short for -v3
. The default verbosity level is 0
, so you can set the verbosity level back to 0
with:
:set -v0
Upvotes: 6