Bryce Glover

     I won't bloat this thread with anything more on the subject, but, if you're on the project Discord server (invite link at the bottom of [the project web page](https://ravynos.com/),) then...

     I keep my administrator and non-administrator content mostly separate by having a separate administrator and standard user account, though I do share some files between the two.

     Why not split the JSON up into one file per formula or cask? (This may be something to consider further later on down the line, though, depending on how invasive...

> but if you mean instead a single download that is split afterwards then maybe      (_Nods._) One obvious option would be a tarball.

     Per my second commit message, I added the '`-f`' flag to the '`git submodule add`' invocation this PR adds to '`_get_tools.sh`' to insist on a one-time override of your '`.gitignore`'...

     I could (and likely should?) also make the first submodule check not emit: ``` fatal: cannot change to './_tools/': No such file or directory ``` on first use (when said...

     The full repository's build script is actually a different file, naturally called '`makefile`,' which I'm not touching here, but, yes, I see what you're getting at. Clear setup and build...

     I'm also seeing this on: **OS version:** Windows 11 Pro 22H2 (64-bit,) build 22621.675 **Experience version:** Windows Feature Experience Pack 1000.22634.1000.0 **Windows Temrinal app version:** Windows Terminal v1.15.2875.0 in: -...

> Here's a couple questions: > > * What's your default profile? Is it a WSL profile by any chance?      My default profile's a Microsoft Store PowerShell profile. For the...

@zadjii-msft:      I'm still seeing this issue quite frequently, actually. This is now under: **OS version:** Windows 11 Pro 22H2 (64-bit,) build 22621.2361 **Experience version:** Windows Feature Experience Pack 1000.22674.1000.0 **Windows...