Ubuntu-fr

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!

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

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, à 11: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

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)

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

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, à 16:01)

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)

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

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)

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, à 12: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

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!

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, à 12: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

pingouinux

Re : Comment modifier un fichier

Bonjour,
@sinbad83 : Il faut protéger les espaces, ou mettre le chemin entre " ".

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

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

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, à 17:14)