language-servers/erg
1
0
Fork 0
mirror of https://github.com/erg-lang/erg.git synced 2025-08-04 10:49:54 +00:00
Code Issues Projects Releases Packages Wiki Activity Actions

feat: display progress

Browse source
This commit is contained in:
Shunsuke Shibayama 2024-09-09 21:40:19 +09:00
parent 60ea11aa3e
commit 948a14b1af
4 changed files with 41 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

1
crates/erg_common/config.rs
View file

@ -170,6 +170,7 @@ pub struct ErgConfig {
/// verbosity level for system messages.
/// * 0: display errors, warns
/// * 1 (default): display errors, warnings and hints
/// * 2: display errors, warnings, hints and progress
pub verbose: u8,
/// needed for `jupyter-erg`
pub ps1: &'static str,