1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
/// The default Moon home directory is `~/.moon`
pub const MOON_DIR: &str = ".moon";
/// The default MoonUp home directory is `~/.moonup`
pub const MOONUP_DIR: &str = ".moonup";
/// The environment variable name for customizing MoonBit home directory
pub const ENVNAME_MOON_HOME: &str = "MOON_HOME";
/// The environment variable name for customizing MoonUp home directory
pub const ENVNAME_MOONUP_HOME: &str = "MOONUP_HOME";
/// The environment variable name for customizing the MoonUp distribution server
pub const ENVNAME_MOONUP_DIST_SERVER: &str = "MOONUP_DIST_SERVER";
/// The URL of the MoonUp distribution server
pub const MOONUP_DIST_SERVER: &str = "https://moonup.csu.moe/v3";
/// The expiration time for the release index, in hours
pub const INDEX_EXPIRATION: i64 = 1;
/// The timeout for reading HTTP responses, in seconds
pub const HTTP_READ_TIMEOUT: u64 = 5 * 60;
/// The filename for specifying the toolchain version
pub const TOOLCHAIN_FILE: &str = "moonbit-version";
/// The maximum number of recursions allowed
pub const RECURSION_LIMIT: u8 = 20;
/// The maximum number of select dialog items
pub const MAX_SELECT_ITEMS: usize = 6;
/// The allowed file extensions to be detected as executables on Windows
pub const ALLOWED_EXTENSIONS: = ;
/// The default value of the `PATHEXT` environment variable on Windows (Vista+)
pub const DEFAULT_PATHEXT: &str = ".COM;.EXE;.BAT;.CMD;.VBS;.VBE;.JS;.JSE;.WSF;.WSH;.MSC";