Added clause about gnu-sed
This commit is contained in:
parent
3626158fe2
commit
c8f0e8f272
1 changed files with 11 additions and 0 deletions
11
README.md
11
README.md
|
@ -57,6 +57,17 @@ unzip, and from within the directory run
|
|||
bundle install
|
||||
bundle exec jekyll serve
|
||||
|
||||
### GNU sed and macOS
|
||||
|
||||
The version of sed that ships with macOS is not fully compatible with the GNU sed.
|
||||
Therefore, you may get errors such as:
|
||||
```
|
||||
sed: 1: "out/plfa/Bisimulation.md": invalid command code o
|
||||
```
|
||||
You can fix this error by installing a GNU compatible version of sed, e.g. using [Homebrew](https://brew.sh/):
|
||||
```
|
||||
brew install gnu-sed --with-default-names
|
||||
```
|
||||
|
||||
## Updates to agda2html
|
||||
|
||||
|
|
Loading…
Reference in a new issue