Skip to content

Commit a3a5434

Browse files
committed
fix: README
1 parent d07fd15 commit a3a5434

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

README.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -34,11 +34,11 @@ make install
3434
3535
Questo comando installa anche gli script compile, boot e debug. Per usarli comodamente, però, è necessario aggiungere la directory $HOME/CE/bin alla propria variable PATH. Per esempio, in un sistema Debian/Ubuntu con shell di default (bash), si può eseguire (una sola volta) questo comando:
3636
```
37-
echo 'PATH=$HOME/CE/bin:$PATH' >> ~/.bashrc
37+
echo 'PATH=$HOME/CE/bin:$PATH' >> ~/.bashrc
3838
```
3939
oppure in caso si usi zsh:
4040
```
41-
echo 'PATH=$HOME/CE/bin:$PATH' >> ~/.zshrc
41+
echo 'PATH=$HOME/CE/bin:$PATH' >> ~/.zshrc
4242
```
4343
4444
In questo modo il comando che modifica PATH viene aggiunto in fondo al file .bashrc nella propria home, e verrà eseguito dalla shell ogni volta che aprite un nuovo terminale.

0 commit comments

Comments
 (0)