script per rinominare un file....
Ciao a tutti :-) ....
ho un problrmino :
per la mia tesi sto utilizzando una stupenda applicazione open-source :
grass
tale applicazione esiste in due versioni diverse (5.4 - 6.1) io per alcuni motivi devo utilizzarle entrambe....il problema è che sia la versione 5.4, che la versione 6, utilizzano delle librerie binarie installate nella directory :
/usr/local
e per entrambe le versioni tali librerie hanno il medesimo nome : "grasslib"
premesso ciò
il mio pensiero era:
installo entrambe le librerie in /usr/local
dandogli nomi diversi del tipo:
"grasslib" (alla libreria della versione 6 utilizzata )
"grasslibb" <<< 2b (alla libreria della versione 5.4 non utilizzata)
nel momento in cui devo utilizzare l'altra versione (la 5.4), potrei rinominarle nel modo inverso:
"grasslibb" (per la 6)
"grasslib" (per la 5)
il mio problema è che in /usr/local è tutto coperto da password di sistema e se faccio clik sulla cartella da rinominare, non me lo fa fare !!!
quindi sarei costretto ogni volta a noiiossissimi copia e incolla delle librerie....
Vengo alla domanda :
esiste un procedimento alternativo per risolvere il problema ?
magari un script da terminale che automatizzi il tutto????
io penso di si, ma non ho le conoscenze necessarie per affrontare il problema....
spero di essere stato chiaro nell'esporre il problema :oops:
grazie mileeeee!!!!
w i mac-guru !
:smt024
Re: script per rinominare un file....
Citazione:
Originariamente Scritto da epifanio
Ciao a tutti :-) ....
ho un problrmino :
per la mia tesi sto utilizzando una stupenda applicazione open-source :
grass
tale applicazione esiste in due versioni diverse (5.4 - 6.1) io per alcuni motivi devo utilizzarle entrambe....il problema è che sia la versione 5.4, che la versione 6, utilizzano delle librerie binarie installate nella directory :
/usr/local
e per entrambe le versioni tali librerie hanno il medesimo nome : "grasslib"
Epi, non sono sicuro di avere ben chiaro il problema ma, visto che i due programmi utilizzano delle librerie poste nella directory /usr/local non potresti crearti un altro utente?
Quando sei loggato come Epifanio usi la versione 5.4, quando sei loggato come PincoPallo usi la versione 6.1…
Se ho detto una scemenza, perdonami… :arrossisco:
:vecchietto: