Pour connaître le port actuellement utilisé, lorsque la carte Arduino est connectée au PC, on peut taper dans un terminal Linux : 
<br /><br />
<code> ino serial </code>
<br /><br />
On peut aussi examiner le dossier système '/dev' pour y voir la liste des ports USB (entre autres...) utilisés.