Some useful linux commands/settings

1. To copy files from other linux pc, you can use scp cmd
$scp <username>@<ip addr>:/<path>/srcfilename <username>@<ip addr>:/<path>/dstfilename (USE -r option for recursive copy)
2. To check all installed packages on the PC
$dpkg –get-selections
3. To set proxy for terminals (you can add these settings to .bashrc in home directory)
export http_proxy=http://<usr name>:<passwd>@<proxy ip addr>:<port num>
export ftp_proxy=ftp://<usr name>:<passwd>@<proxy ip addr>:<port num>
export https_proxy=https://<usr name>:<passwd>@<proxy ip addr>:<port num>
4. You can run changed .bashrc file with cmd $source ~/.bashrc