Modificare l’estensione .txt in .php .

Gedit-italiano

Potreste avere la necessità, dopo compilazione del programma in PHP su normale file di testo, di trasformarlo in un file leggibile e modificabile dall’editor che state usando. Non vi ricordate o non sapete come si fa? La cosa è semplicissima da farsi. Aprire il file con un editor (per esempio Notepad ++) e salvare il .txt con la nuova estensione .php.

Il gioco è fatto!

Il tutto si applica – chiaramente – anche ad altri formati e contesti.

IDE, che cos’è?

Sphere_ide

IDE: integrated development environment, ambiente integrato di progettazione. È un software che aiuta il programmatore nello sviluppo del codice di un programma. Eclipse, Netbeans o Notepad++ sono IDE multilinguaggio. L’IDE, infatti, a volte segnala direttamente allo sviluppatore gli errori di sintassi. Segnala, inoltre, una serie di strumenti e funzionalità di supporto alle fasi di debugging e sviluppo.

L’IDE è uno strumento consistente in più componenti: un editor (un programma di modifica di testi ed immagini), un compilatore (un programma che traduce una serie di istruzioni scritte in un linguaggio di programmazione) oppure un interprete (un programma in grado di eseguire altri programmi partendo direttamente dal codice sorgente) , uno strumento di costruzione automatica (del software), un debugger (un software che elimina gli errori di programmazione interni al codice di altri programmi).

Per convertire i file audio.

MP3_Logo

Media.io è lo strumento giusto. Anche per convertire un CD in MP3. Infatti, è stato proprio da questo problema che sono partito: dovevo convertire l’impossibile formato del CD in un MP3.  Media.io è stata la soluzione perfetta e gratuita. Provatela, non vi deluderà.