A volte quando vado in un sito hosting per scaricare il file, mi capita che c'è un file zippato in formato 7z, ma l'estensione downthemall mi da errore scaricando il sito in formato html anzichè il file originale .7z perchè io uso windows xp, volendo quindi aggiungere il filtro, come lo devo scrivere nella sezione archivi? ho provato a scrivere sia 7z che 7zip ma mi da errore in entrambi. disattivando l'estensione, me l'ha scaricato correttamente il file 7z.
questo è il mio filtro su archivi:
/\.(?:z(?:ip|[0-9]{2})|r(?:ar|[0-9]{2})|jar|bz2|gz|tar|rpm)$/i\iso\7zip