Esplora file

L’Esplora file serve a gestire le aree di lavoro e i file. Questo plugin contiene anche molti comandi rapidi e comandi. Per un breve tour, cliccare con il tasto destro su un file per ottenere un menu a comparsa e controllare anche il menu a forma di hamburger (rappresentato con tre linette orizzontali) in alto a destra del plugin.

Per trovare il modulo Esplora file, fare clic sull’icona File Explorer (Esplora file).

Il segno di spunta verde in cima alla pagina significa che questo plugin è gestito dal Team di Remix. Quando si clicca sul puntatore, vengono mostrate più informazioni sul plugin - compreso un link a questa documentazione.

Memorizzazione dei file

Per impostazione predefinita, l’IDE Remix memorizza i file nell”IndexedDB.

Programmare nell’IDE di Remix Online è differente dallo scrivere in un documento di Google.

  • Un documento di Google salva il vostro lavoro nel vostro account sui server di Google.

  • Remix non ha gli account utente. Per impostazione predefinita, i file vengono salvati SOLO localmente nella memoria del browser. Quindi fate attenzione, la memoria del browser non è permanente!

È molto importante avere una strategia di backup e di salvataggio dei file.

Consulta le seguenti tecniche per:

Nota importante: La cancellazione della memoria del browser e dell’IndexedDB cancellerà permanentemente tutti i file memorizzati. È prudente eseguire un backup delle aree di lavoro prima di cancellarli… giusto per essere sicuri.

Memorizzazione dei file sul tuo disco rigido

Remixd

Per memorizzare i file sul disco rigido del tuo computer quando si utilizza l’IDE di Remix Online, utilizzare Remixd

  • Remixd è un modulo NPM che viene eseguito sul computer. Permette di condividere una cartella specifica sul tuo computer con l’IDE di Remix.

Remix Desktop

Remix Desktop è una versione dell’IDE di Remix in un’applicazione Electron. Da notare che, quando si utilizza Remix Desktop, non è possibile utilizzare un portafoglio per il browser come MetaMask, perché Remix Desktop non viene eseguito in un browser. Per connettersi alle reti pubbliche, è necessario utilizzare un servizio come Infura e poi utilizzare il plugin WalletConnect (connetti portafoglio) per approvare le transazioni sul proprio dispositivo mobile.

Connettere Remix ai repository Git remoti

**Se non si utilizza Remixd, si raccomanda fortemente di salvare su un archivio remoto (i browser si bloccano causando il danneggiamento di localstorage e dell’indexedDB)

Remix IDE can be connected to remote Git repos hosted in GitHub (or similar service) or in IPFS.
Most of the Git operations are done in the DGit plugin. (DGit stands for Decentralized GIT).

La [Gestione dei rami] (#branch-management) è disponibile anche nella parte inferiore dell’Esplora file quando l’area di lavoro è inizializzata con Git.

Si veda anche questo articolo su proteggere i file in Remix

Aree di lavoro

Gli spazi di lavoro in Remix sono cartelle speciali che separano i progetti. I file in uno spazio di lavoro non possono importare o accedere a file in spazi di lavoro diversi. La scelta di uno spazio di lavoro si effettua con la casella di selezione Workspaces (Spazi di lavoro).

Nuova area di lavoro

Le aree di lavoro si creano facendo clic sul pulsante + o accedendo al menu hamburger (rappresentato da tre lineette orizzontali) in alto a destra dell’Esplora file.

Quando si crea una nuova are di lavoro, Remix offre i seguenti modelli:

  • Blank (Vuoto)

  • Remix Default (Predefinito Remix)

  • OpenZeppelin ERC20

  • OpenZeppelin ERC721

  • OpenZeppelin ERC1155

  • 0xProject ERC20

  • Gnosis MultiSig (Multifirma Gnosis)

Quando si sceglie un modello OpenZeppelin, è possibile aggiungere ulteriori funzionalità.

Operazioni dell’area di lavoro

Il menu hamburger (rappresentato da tre lineette orizzontali) Area di lavoro è per le operazioni che riguardano un’intera area di lavoro.

Clona

Cliccando su Clone (clona), verrà richiesto l’url di un repository remoto. Verrà creato una nuova area di lavoro che conterrà il repository clonato. Per gestire il repository Git, accedere al plugin Dgit.

Backup

Il backup serve a scaricare tutte le aree di lavoro in un file .zip. Il file zip conterrà una cartella chiamata .workspaces (aree di lavoro), che conterrà una cartella per ciascuna area di lavoro. A seconda del vostro sistema operativo, potrebbe essere necessario modificare le preferenze della cartella .workspaces per renderla visibile.

Ripristina

Il ripristino è soltanto per caricare il file zip di backup.

Creare azioni Github

Le operazioni dell’area di lavoro per creare Solidity Test Workflow (Scenario di test Solodity), Mocha Chai Test Workflow (Scenario di test Mocha Chai) e Slither Workflow (Scenario Slither) servono a creare azioni GitHub. Quando si clicca, viene creato un file .yml nella cartella .workflows dell’area di lavoro attiva.

Aree di lavoro inizializzare con Git

Git initialized workspaces will have the Git icon next to them in the Workspaces select box.

Per inizializzare una nuova area di lavoro per GIT, selezionare la casella in fondo alla finestra di dialogo Create Workspace (Crea area di lavoro).

Lavorare con i file

Quando si clicca su un file, questo viene visualizzato nell’Editor.

Sotto la casella di selezione Workspaces (aree di lavoro) si trovano una serie di icone che eseguono operazioni sui file. È possibile accedere ad ulteriori operazioni cliccando con il pulsante destro su un file o una cartella ([vedi sotto]).(#right-click-on-a-file-or-folder)).

  • A. Creare un file

  • B. Creare una cartella

  • C. Pubblicare tutti i file di questa are di lavoro in un GIST

  • D. Caricare un file nell’area di lavoro corrente

  • E. Caricare una cartella nell’area di lavoro corrente

Creare un nuovo file

Esistono due modi per creare i file:

  • La prima consiste nel cliccare sull’icona del nuovo file (H. nella figura 1), quindi nel File Explorer (Esplora File) apparirà un’area di inserimento per il nome del nuovo file. Una volta inserito il nome, nell’Editor si aprirà un nuovo file vuoto. Se il nome del file viene inserito senza un’estensione, l’estensione .sol verrà aggiunta di default.

  • Il secondo modo per creare un file consiste nel cliccare con il pulsante destro su un file o una cartella per ottenere un menu a comparsa.

Il nuovo file verrà inserito nella cartella attualmente selezionata dell’area di lavoro. Se viene selezionato un file e non una cartella, il nuovo file verrà collocato nella cartella di quel file. Se non è stato selezionato niente, il file verrà collocato nella cartella radice dell’area di lavoro corrente. O, in breve, basta fare attenzione alla cartella in cui si trova il file.

Pubblicare su Gist

L’icona (contrassegnata da J. nella figura 1) pubblica tutti i file dell’area di lavoro corrente in un gist. L’API Gist richiede che gli utenti siano autenticati per poter pubblicare un gist.

Cliccare questo link per impostare i token di Github e selezionare Generate new token (Genera nuovo token). Quindi selezionare la casella Create gists (Crea gist) e generare un nuovo token. Inoltre, assicurarsi di selezionare la casella per abilitare la creazione di Gist con questo token.

Prendete il token e incollatelo nel modulo Settings (Impostazioni) di Remix nella sezione Github Access Token (Token di accesso Github). Quindi cliccare su Save (Salva).

È possibile pubblicare anche facendo clic con il tasto destro sul file o sulla cartella.

Menu a comparsa del tasto destro (del mouse)

Click con il tasto destro su una cartella

Cliccando con il tasto destro del mouse su una cartella, viene visualizzato un menu a comparsa per le operazioni che si possono fare su quella cartella.

Il menu a comparsa del tasto destro funziona anche con Remixd (che consente di accedere a una cartella sul tuo disco rigido).

**Nota: ** Quando si lavora con RemixD e si aggiungono file alla cartella condivisa dal tuo computer (e non da Remix), è necessario aprire e chiudere la cartella contenitore o entrare e uscire dall’area di lavoro localhost per aggiornare la visualizzazione.

Click con il tasto destro un file Solidity

Cliccando con il tasto destro del mouse su un file con estensione .sol, si aprirà un menu a comparsa - che include opzioni per la compilazione e flattering, la creazione di diagrammi UML e la generazione di documentazione.

Click con il tasto destro su uno script

Cliccare con il tasto destro del mouse su un qualsiasi file con estensione .js o .ts per ottenere l’opzione Run (Esegui) nel menu a comparsa per eseguire lo script.

Se lo script che si desidera eseguire è il file attivo nell’Editor, è possibile eseguirlo anche utilizzando il pulsante play (avvia) in alto a sinistra dell’Editor o immettendo il comando remix.exeCurrent() nella console.

Git in Esplora file

In Remix, un’area di lavoro può essere inizializzata con Git. I comandi di Git funzionano quindi nell’area di lavoro.

Inizializza

Per informazioni sull’inizializzazione di un’area di lavoro, vedere questa sezione.

Clona

Il comando clona si trova nel Menu hamburger (identificato da tre lineette orizzontali) dell’area di lavoro. Per ulteriori informazioni, vedere la sezione Operazioni dell’area di lavoro

Gestione del Branch

Quando ci si trova in un’area di lavoro inizializzata con Git, in fondo all’Esplora file, si trova il posto per la gestione dei rami.

Quando si clicca sul nome del ramo, questa sezione si espande con un’interfaccia per cambiare ramo e per crearne uno nuovo.

Per gli altri comandi Git, consultare il plugin DGit.

Per maggiori informazioni sul plugin DGit, vedere questo articolo.