Wiki script - Lista delle guide: differenze tra le versioni

Vai alla navigazione Vai alla ricerca
nessun oggetto della modifica
Nessun oggetto della modifica
Nessun oggetto della modifica
Riga 73: Riga 73:
  cat "$tempfile2" >> "$file1"
  cat "$tempfile2" >> "$file1"
done
done
#Sostituisce alcuni caratteri nel file listaguide_titoli
# " -> "
# & -> &
sed -i -e "s/\"/\"/g" -e "s/\&/\&/g" "$file1"


# viene creato il file listaguide_url
# viene creato il file listaguide_url
Riga 79: Riga 85:
# viene creato il file listaguide_source_url
# viene creato il file listaguide_source_url
sed "s#.*#$pref?title=&\&action=edit#" "$file1" > "$file3"
sed "s#.*#$pref?title=&\&action=edit#" "$file1" > "$file3"
# URL encoding per i caratteri '&' e '"' (%26 e %22)
# URL encoding per i caratteri '&' , '+' e '' (%26 %2B e %22)
sed -i -e "s#&#%26#g" -e "s#"#%22#g" "$file3"
sed -i -e "s#& #%26 #g" -e "s#+#%2B#g" -e "s#\"#%22#g" "$file3"


# rimozione file temporanei
# rimozione file temporanei
rm "$tempfile1" "$tempfile2"
rm "$tempfile1" "$tempfile2"  


</pre>
</pre>
6 999

contributi

Menu di navigazione