From 2dc9a192b5d996d81e246b1684cd63c0d43fc694 Mon Sep 17 00:00:00 2001 From: Donny <130464015+defitricks@users.noreply.github.com> Date: Wed, 20 Nov 2024 11:32:06 +0200 Subject: [PATCH] Typo fix Update README.md (#349) Fix incorrect echo command in LaTeX setup instructions for Mac --- papers/leanimt/README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/papers/leanimt/README.md b/papers/leanimt/README.md index ba92f392..59031cd0 100644 --- a/papers/leanimt/README.md +++ b/papers/leanimt/README.md @@ -23,7 +23,7 @@ This folder contains the LeanIMT Paper ([Download PDF](https://github.com/privac 3. Add the path by running: ```bash -echo -n 'export PATH=$HOME/bin:$PATH' >> ~/.zshrc +echo 'export PATH=$HOME/bin:$PATH' >> ~/.zshrc ``` Read more about it [here](https://stackoverflow.com/questions/11530090/adding-a-new-entry-to-the-path-variable-in-zsh/47795375#47795375).