alcuni comandi da usare nella shell

vengono presentati alcuni comandi da usare nella shell

lo scopo è fornire un minimo di "ferri del mestiere" per operare con bash in Linux.

man
ps
ls
sudo
pwd
pico
gedit
cd
git pull
id
ps
man
cat /etc/passwd
echo $PATH
which
history