[risolto]git vs gedit

Installazione, configurazione e uso di programmi e strumenti.
Avatar utente
grezzo89
Prode Principiante
Messaggi: 243
Iscrizione: sabato 28 gennaio 2012, 16:25

[risolto]git vs gedit

Messaggio da grezzo89 »

buongiorno a tutti,
sono alle prime armi con git e vorrei sapere se è possibile impostare come editor predefinito gedit. per ora ho provato con il seguente comando:

Codice: Seleziona tutto

$ git config --global core.editor gedit
ma non ci sono riuscito, c'è da impostare qualche path particolare ?
Ultima modifica di grezzo89 il sabato 10 marzo 2012, 11:01, modificato 1 volta in totale.
dadexix86
Tenace Tecnocrate
Tenace Tecnocrate
Messaggi: 16364
Iscrizione: domenica 22 marzo 2009, 19:58
Desktop: Unity
Distribuzione: Ubuntu 18.04 x86_64
Località: Paris, France

Re: git vs gedit

Messaggio da dadexix86 »

Credo che la sintassi corretta sia

Codice: Seleziona tutto

git config --global core.editor "gedit"
con le ""
Non si dà supporto tramite mp in forum
L'utilizzo del tasto [Code] quando scrivi in forum risolve i 2/3 dei tuoi problemi
Per problemi con Skype rivolgersi qui. | Un Matematico Migrante
Avatar utente
grezzo89
Prode Principiante
Messaggi: 243
Iscrizione: sabato 28 gennaio 2012, 16:25

Re: git vs gedit

Messaggio da grezzo89 »

perfetto ora funziona. grazie mille !!
dadexix86
Tenace Tecnocrate
Tenace Tecnocrate
Messaggi: 16364
Iscrizione: domenica 22 marzo 2009, 19:58
Desktop: Unity
Distribuzione: Ubuntu 18.04 x86_64
Località: Paris, France

Re: git vs gedit

Messaggio da dadexix86 »

Se hai risolto modifica il titolo del primo post e aggiungi [Risolto], grazie.
Non si dà supporto tramite mp in forum
L'utilizzo del tasto [Code] quando scrivi in forum risolve i 2/3 dei tuoi problemi
Per problemi con Skype rivolgersi qui. | Un Matematico Migrante
Scrivi risposta

Ritorna a “Applicazioni”

Chi c’è in linea

Visualizzano questa sezione: Google [Bot], Roberto Pontecorvi e 8 ospiti