unisonweb / unison

A friendly programming language from the future
https://unison-lang.org
Other
5.64k stars 267 forks source link

feature: avoid pull of base for new codebases #5094

Open aryairani opened 2 weeks ago

aryairani commented 2 weeks ago

Is your feature request related to a problem? Please describe. pull is slow, and it would be nice to be able to start using unison offline, after installation

Describe the solution you'd like A solution we discussed was to bundle a codebase that includes base (perhaps without names) with the ucm download, and copy it into place instead of initializing a new database on ucm -C, etc.

Describe alternatives you've considered

Additional context n/a