commandes linux développeur