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.
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 .