Det borde gå lika bra att använda nano. Ta en backup på filen först t.ex. med kommandot:
cp -p /etc/libccid_Info.plist /etc/libccid_Info.plist.orig
så kan man alltid lägga tillbaka originalfilen om det behövs.
Var försiktig och tänk på att det är bara ett enda tecken som behöver ändras. Du kan använda sökfunktionen i nano (Ctrl+W) för att söka efter "3021" och ändra det till 3022. Räcker som sagt att göra det på det första stället som dyker upp.