* .tcshrc: add ports plugin