Removed section on GNU sed and macOS

This commit is contained in:
Wen Kokke 2019-07-18 10:52:59 +01:00 committed by GitHub
parent 00c0b9f48e
commit f6b899dd4e
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23

View file

@ -79,19 +79,6 @@ unzip, and from within the directory run
bundle exec jekyll serve 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
```
## Unicode characters ## Unicode characters
If you're having trouble typing the Unicode characters into Emacs, the end of If you're having trouble typing the Unicode characters into Emacs, the end of