#1 Le 11/02/2016, à 10:32
- juanito8300
Comment modifier un fichier
Bonjour,
mon titre est mal exprimé mais je ne sais pas comment le dire, il faudrait que je modifie un fichier: "editer activated.ini
changer "Language=english" par "Language=french" mais je ne sais pas comment le faire et il faut le faire en administrateur et comment passer le fichier en mode administrateur pour que je puisse le modifié?
J'espère que vous pourrez m'aider et que vous aurez compris ce que je voulais dire.
Merci!
Hors ligne
#2 Le 11/02/2016, à 10:42
- pires57
Re : Comment modifier un fichier
sois tu le fait directement en ligne de commande avec l'un des outils suivants :
-> nano
-> vim
-> sed
....
soit tu le fait en mode graphique en lançant ton editeur de texte avec la commande :
gksudo gedit
(par exemple).
Utilisateur d'Archlinux, Ubuntu et Kali Linux
Administrateur système et réseau spécialisé Linux.
LinkedIn
Hors ligne
#3 Le 11/02/2016, à 10:42
- sinbad83
Re : Comment modifier un fichier
Bonjour,
avant de modifier un fichier, il est prudent d'en faire au préalable une copie
sudo cp -a <fichier> <fichier>.copy
Pour l'éditer ensuite, il faut le faire en sudo pour avoir les droits. Utilise nano ou gedit:
sudo nano "editer activated.ini" # les guillemets servent à interpréter l'espace dans le nom du fichier
ou
gksudo gedit "editer activated.ini" # si besoin, installe gksudo
Dernière modification par sinbad83 (Le 11/02/2016, à 10:44)
La connaissance n'est pas une denrée rare, il faut la partager avec les autres.
Linux registered #484707
Site: www.coursinforev.org/doku.php
Desktop AMD Ryzen 5-3600, RAM 16GB, Ubuntu 20.10, HP Pavillon G6 Ubuntu 20.10 et Ten, Serveur Ubuntu 18.04
Hors ligne
#4 Le 11/02/2016, à 10:46
- mazarini
Re : Comment modifier un fichier
En ligne de commande :
sudo vi activated.ini
ou
sudo nano activated.ini
Après voir la doc pour un minimum d'utilisation. nano semble plus accessible.
Eventuellement "sudo gedit" si une interface graphique est disponible.
S'il existait une école de la politique, les locaux devraient être édifiés rue de la Santé. Les élèves pourraient s'habituer. (Pierre Dac)
Hors ligne
#5 Le 11/02/2016, à 11:10
- MicP
Re : Comment modifier un fichier
Depuis le répertoire contenant le fichier activated.ini
sudo sed -i 's/Language=english/Language=french/' activated.ini
Puis tu peux vérifier en visualisant le fichier modifié :
sudo cat activated.ini
Hors ligne
#6 Le 11/02/2016, à 15:01
- compte banni et supprimé
Re : Comment modifier un fichier
En ligne de commande :
[...]
Après voir la doc pour un minimum d'utilisation. nano semble plus accessible.
Eventuellement "sudo gedit" si une interface graphique est disponible.
On n'ouvre JAMAIS une application graphique avec sudo mais gksudo, c'est une question de droit il me semble...
Dernière modification par philanthrope (Le 11/02/2016, à 15:01)
#7 Le 11/02/2016, à 15:08
- mazarini
Re : Comment modifier un fichier
On n'ouvre JAMAIS une application graphique avec sudo mais gksudo, c'est une question de droit il me semble...
Merci de l'info, je ne faisais pas la différence entre les 2.
En fait vi et le copier/coller du bureau sont pas mal.
S'il existait une école de la politique, les locaux devraient être édifiés rue de la Santé. Les élèves pourraient s'habituer. (Pierre Dac)
Hors ligne
#8 Le 11/02/2016, à 16:12
- Rufus T. Firefly
Re : Comment modifier un fichier
vi et nano ne sont pas des applications graphiques !
La provocation est une façon de remettre la réalité sur ses pieds. (Bertolt Brecht)
Il n'y a pas de route royale pour la science et ceux-là seulement ont chance d'arriver à ses sommets lumineux qui ne craignent pas de se fatiguer à gravir ses sentiers escarpés. (Karl Marx)
Il est devenu plus facile de penser la fin du monde que la fin du capitalisme
Hors ligne
#9 Le 11/02/2016, à 16:49
- mazarini
Re : Comment modifier un fichier
Mais le terminal dans lequel on lance vi oui ; et ca permet le copier/coller via la souris.
S'il existait une école de la politique, les locaux devraient être édifiés rue de la Santé. Les élèves pourraient s'habituer. (Pierre Dac)
Hors ligne
#10 Le 11/02/2016, à 16:57
- sinbad83
Re : Comment modifier un fichier
Mais le terminal dans lequel on lance vi oui ; et ca permet le copier/coller via la souris.
C'est pareil avec nano, comme avec toutes les applications, graphiques ou pas. Le copier-coller Linux est universel...
Dernière modification par sinbad83 (Le 12/02/2016, à 11:40)
La connaissance n'est pas une denrée rare, il faut la partager avec les autres.
Linux registered #484707
Site: www.coursinforev.org/doku.php
Desktop AMD Ryzen 5-3600, RAM 16GB, Ubuntu 20.10, HP Pavillon G6 Ubuntu 20.10 et Ten, Serveur Ubuntu 18.04
Hors ligne
#11 Le 12/02/2016, à 11:31
- juanito8300
Re : Comment modifier un fichier
j'ai pas compris pour pouvoir modifier mon fichier. Le fichier a modifier se trouve: /home/jean-luc/Montage pour les jeux/Blues.and.Bullets/
Si vous pouvez m'aider cela serait super. Merci!
Hors ligne
#12 Le 12/02/2016, à 11:45
- sinbad83
Re : Comment modifier un fichier
j'ai pas compris pour pouvoir modifier mon fichier. Le fichier a modifier se trouve: /home/jean-luc/Montage pour les jeux/Blues.and.Bullets/
Il faut soit, inclure le chemin absolu pour le fichier
sudo nano /home/jean-luc/Montage pour les jeux/Blues.and.Bullets/activated.ini
soit, directement en t'étant au préalable déplacé dans le bon dossier
cd /home/jean-luc/Montage pour les jeux/Blues.and.Bullets/
sudo nano activated.ini
Dernière modification par sinbad83 (Le 12/02/2016, à 11:47)
La connaissance n'est pas une denrée rare, il faut la partager avec les autres.
Linux registered #484707
Site: www.coursinforev.org/doku.php
Desktop AMD Ryzen 5-3600, RAM 16GB, Ubuntu 20.10, HP Pavillon G6 Ubuntu 20.10 et Ten, Serveur Ubuntu 18.04
Hors ligne
#13 Le 12/02/2016, à 12:05
- pingouinux
Re : Comment modifier un fichier
Bonjour,
@sinbad83 : Il faut protéger les espaces, ou mettre le chemin entre " ".
Hors ligne
#14 Le 12/02/2016, à 12:12
- sinbad83
Re : Comment modifier un fichier
Non, il n'y a rien à séparer. Une commande se compose de
- son nom,
- des options, s'il y en a,
- un (ou plusieurs) argument(s).
Le tout est séparé par des espaces.
Pour ta culture, jette un oeil sur
https://doc.ubuntu-fr.org/tutoriel/cons … es_de_base
https://doc.ubuntu-fr.org/commande_shell
La connaissance n'est pas une denrée rare, il faut la partager avec les autres.
Linux registered #484707
Site: www.coursinforev.org/doku.php
Desktop AMD Ryzen 5-3600, RAM 16GB, Ubuntu 20.10, HP Pavillon G6 Ubuntu 20.10 et Ten, Serveur Ubuntu 18.04
Hors ligne
#15 Le 12/02/2016, à 12:38
- pingouinux
Re : Comment modifier un fichier
$ mkdir "/tmp/Montage pour les jeux"; pwd
/tmp
$ cd /tmp/Montage pour les jeux; pwd
bash: cd: /tmp/Montage: No such file or directory
/tmp
$ cd "/tmp/Montage pour les jeux"; pwd
/tmp/Montage pour les jeux
Hors ligne
#16 Le 12/02/2016, à 16:11
- MicP
Re : Comment modifier un fichier
Puisque je connais maintenant le chemin absolu du fichier à modifier,
j'ai adapté la commande que tu peux utiliser depuis n'importe quel répertoire
sudo sed -i 's/Language=english/Language=french/' "/home/jean-luc/Montage pour les jeux/Blues.and.Bullets/activated.ini"
Puis tu peux vérifier que la modification a été faîte en visualisant le fichier modifié :
sudo cat "/home/jean-luc/Montage pour les jeux/Blues.and.Bullets/activated.ini"
NOTES :
Ne connaissant pas les attributs du fichier, j'ai utilisé sudo pour la commande cat, mais ce n'est peut-être pas indispensable.
Si j'étais sûr que Language=english était au début d'une ligne qui ne contenait que ça, j'aurai utilisé :
sudo sed -i 's/^Language=english$/Language=french/' "/home/jean-luc/Montage pour les jeux/Blues.and.Bullets/activated.ini"
Dernière modification par MicP (Le 12/02/2016, à 16:14)
Hors ligne