1) usi il mio
TASM Converter che pero' e' un exe windows (con sorgenti c, ma te li devi adattare per linux)
2) salvi il file come file SEQ con <-W e poi, estratto dal d64, lo converti da petscii ad ascii...
Il mio programma usa 3 tipi diversi di TASM ("normale" $9000, "macro" $8000, "speciale" di AEG/SDS, $9000), patchati per riempire il keyboard buffer dei comandi necessari per il caricamento del sorgente nativo, salvataggio ed uscita, fa in batch tutti i passaggi di conversione prg->d64->seq->txt. puo' usare sia vice che ccs come emulatore.
