Ricarica il profilo. Di bash senza disconnettersi e riconnettersi

È possibile forzare bash per ricaricare il file .profile senza disconnettersi e riconnettersi?

bash

— Matty
fonte

102

Questo dovrebbe funzionare per l'attuale terminale:

. ~/.profile

.è un bashbuiltin e un sinonimo di source, vedi man bash:

. nomefile [ argomenti ] nomefile
sorgente [ argomenti ] Legge ed esegue i comandi dal nome file nell'ambiente shell corrente (...).

— Lukas Stejskal
fonte

Sarà efficace solo nel terminale corrente.

— enzotib,

@enzotib C'è un modo per aggirare questo?

— Matty,

@Matty: no, per rendere visibili le modifiche all'intero ambiente grafico, puoi solo riavviare la sessione

— enzotib

L'unico problema è che se rimuovi qualcosa dal percorso non avrebbe effetto fino al riavvio

— Aras,

@Aras fa un PUNTO IMPORTANTE che merita l'espansione: se qualcosa viene rimosso da ~/.profile, quella modifica non avrà effetto dopo il . ~/.profilericaricamento. Ad esempio, aggiungere una funzione ~/.profile: function externalip () { curl http://ipecho.net/plain; echo; }, poi ~/.profile- FUNZIONA. Ora rimuovi quella funzione da ~/.profile, poi di . ~/.profilenuovo. La funzione è ancora disponibile: solo il riavvio (disconnessione e accesso) la rimuoverà.

— Seamus,

Se non si desidera avviare una nuova shell ma eseguire lo script nella shell corrente, è necessario originarlo:

source script_name.sh

source = .

Il Bash sourceintegrato è sinonimo del .comando Bourne shell (punto).

cortesia - tldp.org

— Amey Jah
fonte