4 Forks
102 Stars
102 Watchers

smoosh

The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.

How to download and setup smoosh

Open terminal and run command
git clone https://github.com/mgree/smoosh.git
git clone is used to create a copy or clone of smoosh repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with smoosh https://github.com/mgree/smoosh/archive/master.zip

Or simply clone smoosh with SSH
[email protected]:mgree/smoosh.git

If you have some problems with smoosh

You may open issue on smoosh support forum (system) here: https://github.com/mgree/smoosh/issues