opt-level = "z", default config correction, and types

This commit is contained in:
2024-12-31 17:54:43 -05:00
parent 3e0830c082
commit 73b46b2a99
3 changed files with 20 additions and 18 deletions

View File

@@ -1,6 +1,6 @@
--!strict
local Username = Shell.system.username
local Hostname = Shell.system.hostname
local username = SHELL.SYSTEM.USERNAME
local hostname = SHELL.SYSTEM.HOSTNAME
Shell.prompt = `{Username}@{Hostname} λ `
SHELL.PROMPT = `{username}@{hostname} λ `