Finalmente ho la rete funzionante (abbiamo sostituito lo switch)... Riesco a pingare ogni singolo pc.
Adesso si pone il problema di come convertire gli indirizzi IP. Ho provato a cercare in giro su come si faccia ma non sono riuscito a trovare granché.
La situazione è questa

codice:
              
Rete esterna  |-----------| Rete interna |---------|
--------------|postazione1|--------------|switch   |
         eth1 |-----------| eth0         |---------|
  100.1.1.201               192.168.0.1   | | | | |
                                          | | | | |
                                         pc2| | | |
                                            | | | |
                                           pc3| | |
La rete esterna mi mette a disposizione gli ip da 100.1.1.202 a 100.1.1.206

I pc interni sono configurati come 192.168.0.2/192.168.0.6.

Come faccio a convertirli? Mi va bene anche una conversione statica del tipo
100.1.1.202->192.168.0.2
...

Dimenticavo la cosa più importante: su postazione1 ho linux Red Hat 9.

Grazie!