Come verificare la variabile $PATH di Linux o Mac OS

In questo brevissimo post vediamo come verificare che un percorso specifico si trovi salvato nella variabile di sistema $PATH su macOS, OSX e più in generale sui sistemi di derivazione UNIX, come Linux.

Il comando da lanciare nel terminale è molto semplice:

echo $PATH

Verrà restituito un testo simile al seguente:

/opt/local/bin:/opt/local/sbin:/Library/Frameworks/Python.framework/Versions/3.6/bin:/usr/bin:/bin:/usr/sbin:/sbin:/usr/local/bin:~/.composer/vendor/bin

File batch per creare una cartella con icona personalizzata in Windows

Vi propongo un comodo file batch per creare una cartella sul Desktop dell'utente corrente e assegnarle una icona personalizzata in Windows.

Il file batch prevede che abbiate un'icona personalizzata salvata nella directory C:\Icone.

Ecco il testo per creare la cartella nella posizione in cui salvate il file .bat:

CLS
@echo ===============================================
@echo   CREAZIONE CARTELLE CON ICONE PERSONALIZZATE
@echo ===============================================
@echo.
@echo Creazione cartelle...
@echo ----------------------------------
@echo.
cd %userprofile%
md Cartella
attrib +s Cartella
cd Cartella
@echo.
@echo Assegnazione icone...
@echo ----------------------------------
echo [.ShellClassInfo] >> Desktop.ini
echo IconResource=C:\Icone\icona.ico,0 >> Desktop.ini
echo [ViewState] >> Desktop.ini
echo Mode= >> Desktop.ini
echo Vid= >> Desktop.ini
echo FolderType=Generic >> Desktop.ini
@echo.
attrib +h +s Desktop.ini
PAUSE

Lo script si posiziona nella cartella dell'utente corrente (cd %userprofile%), crea la cartella, le attribuisce lo status di "cartella di sistema", necessario affinché l'icona sia aggiornata, quindi crea il file Desktop.ini, con al suo interno le informazioni sull'icona da usare.

Chiaramente dovete sostituire il percorso di IconResource con quello di vostro interesse. Stessa cosa bisogna cambiare lo 0 dopo il nome dell'icona, se per caso il file icona ha al suo interno più icone e vogliate sceglierne una differente (la prima icona è indicizzata con 0, dunque la seconda sarà 1, la terza 2 e via discorrendo).

Al file Desktop.ini è poi assegnato lo status di file di sistema e di file nascosto.

Per visualizzare l'icona aggiornata potrebbe essere necessario premere F5 per aggiornare la visualizzazione.

Come rinominare un virtual enviroment di Conda

In questo post dedicato ai programmatori in Python, vediamo come rinominare un ambiente virtuale di Anaconda, la piattaforma dedicata allo sviluppo di programmi di data science.

La soluzione proposta è solo un palliativo, perché allo stato attuale non è possibile rinominare direttamente. Viceversa si può creare un clone dell'ambiente virtuale e poi cancellare il vecchio.

Prima di effettuare l'operazione ricordate di disattivare l'ambiente di sviluppo.

Se usate Anaconda su Windows, i comandi da lanciare sono:

deactivate vecchio_nome
conda create --name nuovo_nome --clone vecchio_nome --offline
conda remove --name vecchio_nome --all

Se usate Anaconda su Mac o Linux, i comandi da lanciare sono:

source deactivate vecchio_nome
conda create --name nuovo_nome --clone vecchio_nome --offline
conda remove --name vecchio_nome --all

Vi segnalo inoltre che nella prima istruzione, il parametro --offline fa sì che Conda copii il contenuto dei files presenti nel vecchio ambiente. Se si omette il parametro, i files dei pacchetti verranno scaricati da internet.