logo Debian Debian Debian-France Debian-Facile Debian-fr.org Forum-Debian.fr Debian ? Communautés logo inclusivité

Debian-facile

Bienvenue sur Debian-Facile, site d'aide pour les nouveaux utilisateurs de Debian.

Vous n'êtes pas identifié(e).

#1 16-10-2012 17:12:24

smolski
quasi...modo
Lieu : AIN
Distrib. : backports (buster) 10
Noyau : Linux 4.19.0-8-amd64
(G)UI : gnome
Inscription : 21-10-2008

[wiki] - Manuel des caractères de redirections de flux. Essentiel !

Salut !

Alors de l'usage des commandes de redirection, c'est là :
Les commandes de redirection Essentielles ! big_smile

Dernière modification par smolski (22-09-2015 17:28:12)


saque eud dun (patois chtimi : fonce dedans)

Hors ligne

#2 16-10-2012 18:12:45

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

Merci, ça manquait cool

J'suis toujours  hésitant avec cette synthaxe.

I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

#3 16-10-2012 18:38:30

smolski
quasi...modo
Lieu : AIN
Distrib. : backports (buster) 10
Noyau : Linux 4.19.0-8-amd64
(G)UI : gnome
Inscription : 21-10-2008

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

J'suis toujours  hésitant avec cette synthaxe.


À qui le dis-tu !
Je m'y suis repris à plusieurs fois pour tout bien mettre au clair. lol

À suivre dans ce tuto les commandes pipe et grep... wink


saque eud dun (patois chtimi : fonce dedans)

Hors ligne

#4 16-10-2012 19:38:21

captnfab
Admin-Girafe
Lieu : /dev/random
Distrib. : Debian
Noyau : Dur
(G)UI : gui gui, je zuis un doiseau
Inscription : 07-07-2008
Site Web

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

Un corollaire rigolo est le suivant.

Prenons un fichier d'environs 100Mo.

$ dd if=/dev/zero of=fichier bs=1 count=1 seek=100M
1+0 enregistrements lus
1+0 enregistrements écrits
1 octet (1 B) copié, 4,4267e-05 s, 22,6 kB/s
$ ls -lhi
total 4,0K
1163 -rw-r--r-- 1 fgivors fgivors 101M oct.  16 20:34 fichier
 



Le vider un fichier se fait aussi simplement que ça :

$ > fichier
$ ls -lhi
total 0
1163 -rw-r--r-- 1 fgivors fgivors 0 oct.  16 20:33 fichier
 



L'intérêt de vider un fichier de cette manière, par rapport à un rm et un touch, c'est que l'on conserve le numéro d'inode (le numéro marqué à gauche). Autrement dit, il n'y a pas création ni suppression de fichier.


captnfab,
Association Debian-Facile, bépo.
TheDoctor: Your wish is my command… But be careful what you wish for.

Hors ligne

#5 16-10-2012 19:47:22

smolski
quasi...modo
Lieu : AIN
Distrib. : backports (buster) 10
Noyau : Linux 4.19.0-8-amd64
(G)UI : gnome
Inscription : 21-10-2008

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

Ah ben ça !

C'est mis dans le tuto des chevrons :
Le corollaire rigolo du captnfab

saque eud dun (patois chtimi : fonce dedans)

Hors ligne

#6 29-03-2014 06:59:27

Hypathie
Membre
Lieu : Chambéry _ Montréal
Distrib. : Jessie
Noyau : Linux debian 3.16.0-4-586
(G)UI : Cinnamon Mate Xfce
Inscription : 28-12-2013

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

Bonjour smolski,
j'ai essayé de tester en faisant :

> fichier9

ça fonctionne; mais en faisant

/home/hypathie/Documents/ > fichier9


j'ai le retour :

bash: /home/hypathie/Documents/: est un dossier

.

Est-ce que ce ne serait pas plutôt :

> /home/hypathie/fichier9

que tu voulais dire ?

Merci smile

Hors ligne

#7 29-03-2014 07:20:26

smolski
quasi...modo
Lieu : AIN
Distrib. : backports (buster) 10
Noyau : Linux 4.19.0-8-amd64
(G)UI : gnome
Inscription : 21-10-2008

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

Ah oui... Zut de ma part smile
Je te laisse faire la correction Hypathie, merci de ton attention sur le wiki. cool

saque eud dun (patois chtimi : fonce dedans)

Hors ligne

#8 29-03-2014 07:55:17

Hypathie
Membre
Lieu : Chambéry _ Montréal
Distrib. : Jessie
Noyau : Linux debian 3.16.0-4-586
(G)UI : Cinnamon Mate Xfce
Inscription : 28-12-2013

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

Voilà c'est fait smile
Merci de ta gentillesse.

Encore un détail : le lien de ton #1 mène vers une page inexistante (là je peux pas modifier wink

Hors ligne

#9 29-03-2014 07:58:32

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

Bonjour,  smile

Peut-être un renommage en https://debian-facile.org/doc:programma … l:chevrons  ?

I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

#10 29-03-2014 08:15:01

Hypathie
Membre
Lieu : Chambéry _ Montréal
Distrib. : Jessie
Noyau : Linux debian 3.16.0-4-586
(G)UI : Cinnamon Mate Xfce
Inscription : 28-12-2013

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

Coucou paskal.

Désolée... je pensais qu'il fallait modifier le lien de chaque #1 quand un chantier était placé big_smile

Hors ligne

#11 29-03-2014 08:21:02

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

Coucou Hypathie  smile

Je ne sais pas si il est passé par le chantier (à cause du nom "chevrons-2").
Je pense que smolski va éditer son premier post.  smile

J'ai reformaté l'en-tête de la page : tu peux y placer ton suivi sous wheezy, si tu veux.  smile

I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

#12 29-03-2014 08:22:45

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

Par contre, tout est en balise <code bash>.

I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

#13 29-03-2014 08:33:11

Hypathie
Membre
Lieu : Chambéry _ Montréal
Distrib. : Jessie
Noyau : Linux debian 3.16.0-4-586
(G)UI : Cinnamon Mate Xfce
Inscription : 28-12-2013

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

Oui paskal, dès que je j'aurai tout essayé je mettrai "suivi sous wheezy".

Pour <code bash> ça m'arrange, en tant que débutante, j'suis pas trop copine avec POSIX ... et je pourrai pas essayer sad

Je vais tout de suite avant que ça devienne <code sh>  big_smile

Hors ligne

#14 29-03-2014 08:51:34

Hypathie
Membre
Lieu : Chambéry _ Montréal
Distrib. : Jessie
Noyau : Linux debian 3.16.0-4-586
(G)UI : Cinnamon Mate Xfce
Inscription : 28-12-2013

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

Pour le chapitre "préparation" : lequel des "vim" faut-il installer ?

Si je veux suivre ce wiki, ne vaut-il pas mieux que j'ouvre un fil sur le fofo : "aide pour suivre le wiki "redirection"  ?

Merci smile

Hors ligne

#15 29-03-2014 09:08:15

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

Hypathie a écrit :

Pour le chapitre "préparation" : lequel des "vim" faut-il installer ?

Y en aurait-il plusieurs ?


I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

#16 29-03-2014 09:19:59

captnfab
Admin-Girafe
Lieu : /dev/random
Distrib. : Debian
Noyau : Dur
(G)UI : gui gui, je zuis un doiseau
Inscription : 07-07-2008
Site Web

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

Hum, juste histoire de vous embrouiller, <code bash> sur le wiki signifie en fait « code shell ». Il n'y a pas une coloration syntaxique par shell, donc on utilise la coloration se bash pour colorier tous les extraits de code shell smile

Et aussi :

> /mon/fichier


Ne doit pas être standard, c'est un raccourcis pour :

cat /dev/null > /mon/fichier


captnfab,
Association Debian-Facile, bépo.
TheDoctor: Your wish is my command… But be careful what you wish for.

Hors ligne

#17 29-03-2014 10:52:01

Hypathie
Membre
Lieu : Chambéry _ Montréal
Distrib. : Jessie
Noyau : Linux debian 3.16.0-4-586
(G)UI : Cinnamon Mate Xfce
Inscription : 28-12-2013

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

paskal a écrit :

Y en aurait-il plusieurs ?



la note 2 de la préparation (http://debian-facile.org/doc:programmat … reparation)
renvoie là : http://debian-facile.org/doc:editeurs:vim:vim

où il y explication pour trois installations différentes.
1) apt-get install vim
2) apt-get install vim-full exuberant-ctags
3) apt-get install vim-nox vim-scripts exuberant-ctags

J'ai pris la première sans savoir pourquoi par rapport à la deuxième.

Autre remarque : j'ai suivi le wiki en me servant de nano ; sinon dans deux mois, j'y étais encore tongue

Peut-être qu'on peut conseiller nano quelque part, car en haut le niveau mentionné est "débutant" ?

Enfin j'ai ajouté des exemple au niveau du # : http://debian-facile.org/doc:programmat … s?&#entree sur wc et <
Je crains d'avoir fait des qqs bêtises, faudrait vérifier : merci. smile

Dernière modification par Hypathie (29-03-2014 10:53:07)

Hors ligne

#18 29-03-2014 11:06:09

Hypathie
Membre
Lieu : Chambéry _ Montréal
Distrib. : Jessie
Noyau : Linux debian 3.16.0-4-586
(G)UI : Cinnamon Mate Xfce
Inscription : 28-12-2013

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

captnfab a écrit :


> /mon/fichier


Ne doit pas être standard



zut alors : j'avais compris dans le sens que ça sert à créer un fichier (comme autre méthode qu'avec touch) ou à faire une redirection (comme dans le développement du "raccourcit").
En plus ça marche pour créer un fichier !

svp : est-ce que tu veux dire que se servir de > pour cela n'est pas "bien" ?

Hors ligne

#19 29-03-2014 11:54:22

captnfab
Admin-Girafe
Lieu : /dev/random
Distrib. : Debian
Noyau : Dur
(G)UI : gui gui, je zuis un doiseau
Inscription : 07-07-2008
Site Web

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

Ben, je ne sais pas si c'est POSIX ou non, mais ça ne fonctionne pas avec zsh.
Du coup, je doute que ce soit posix, et donc que ce soit bien.

La version propre et équivalente (mais universelle) reste de toute manière

cat /dev/null > /mon/fichier



Pour créer simplement un fichier, on lui préférera en général « touch ».

Magie :


Le comportement magique de la commande

cat /dev/null > /mon/fichier


et ce en quoi elle diffère de

rm -f /mon/fichier; touch /mon/fichier


c'est qu'elle vide le fichier sans en créer un autre, contrairement à la seconde commande.

Exemple :
Je crée un fichier /tmp/coin/foo, vide.


mkdir /tmp/coin
touch /tmp/coin/foo
ls -il /tmp/coin/


545948 -rw-r--r-- 1 user user 0 mars  29 11:32 foo


Ce fichier est l'entrée (inode) n°545948 sur la partition, et pèse 0 octet.

Je lui écris 4 octets dedans («b», «a», «r», «\n»)

echo "bar" > /tmp/coin/foo
ls -il /tmp/coin/


545948 -rw-r--r-- 1 user user 4 mars  29 11:32 foo


Le fichier pèse maintenant 4 octets, on voit que c'est toujours l'entrée n°545948 sur la partition.

Je vide le fichier avec un cat /dev/null > /tmp/coin/foo :

cat /dev/null > /tmp/coin/foo
ls -il /tmp/coin/


545948 -rw-r--r-- 1 user user 0 mars  29 11:32 foo


Retour à la situation initiale : le fichier est vide, son numéro est 545948

Je réécris les 4 octets puis le vide avec rm + touch :

echo "bar" > /tmp/coin/foo
rm /tmp/coin/foo
touch /tmp/coin/foo
ls -il /tmp/coin/


545949 -rw-r--r-- 1 user user 0 mars  29 11:38 foo


Cette fois-ci, la situation n'est plus celle de départ, le numéro du fichier a changé.


Qu'est-ce que ça change ?
1- Cela permet de ne pas recréer de fichier (et donc éviter de faire grimper inutilement le compteur d'inodes)
2- Si le fichier est ouvert par un processus, supprimer ce fichier le laisse accessible par le processus tel qu'il était lors de la suppression.
Vider le fichier en revanche affecte le processus, puisque c'est le fichier qu'il avait ouvert qui est modifié, et non pas un autre du même nom.

Exemple :

encore plus de magie



Toujours dans /tmp/coin :

echo "bar" > /tmp/coin/foo
tail -f /tmp/coin/foo


Et dans un autre shell, toujours dans /tmp/coin :

rm /tmp/coin/foo
echo "baz" > /tmp/coin/foo
cat /tmp/coin/foo



Maintenant, on récupère le pid du tail lancé tout à l'heure :

pidof tail


9154



Et on fait

cat /proc/9154/fd/3


(À changer par le numéro du PID obtenu)
Et là, magie, "bar" smile

stat /proc/9154/fd/3


Fichier : « /proc/9154/fd/3 » -> « /tmp/coin/foo (deleted) 



Et ce n'est pas tout…

dark magie


echo "meuh" >> /proc/9154/fd/3


Regardez le shell avec «tail», on a bien écrit dans le fichier supprimé smile

Alors que

cat /tmp/coin/foo


Renvoie toujours "baz".


captnfab,
Association Debian-Facile, bépo.
TheDoctor: Your wish is my command… But be careful what you wish for.

Hors ligne

#20 29-03-2014 12:16:50

smolski
quasi...modo
Lieu : AIN
Distrib. : backports (buster) 10
Noyau : Linux 4.19.0-8-amd64
(G)UI : gnome
Inscription : 21-10-2008

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

captnfab, ne t'inquiète pas, des messieurs en blanc vont bientôt arriver et tu pourras leur expliquer tout ça tranquillement en les suivant jusqu'à leur belle voiture blanche aussi et qui fait un si joli pin pon en roulant.
Si si.. je t'assure ! tongue

saque eud dun (patois chtimi : fonce dedans)

Hors ligne

#21 29-03-2014 12:24:10

Hypathie
Membre
Lieu : Chambéry _ Montréal
Distrib. : Jessie
Noyau : Linux debian 3.16.0-4-586
(G)UI : Cinnamon Mate Xfce
Inscription : 28-12-2013

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

ouhaaa... c'est top, merci !  smile

Hors ligne

#22 29-03-2014 16:21:59

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

Je trouve ce fil ... magiquewink

I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

#23 23-03-2015 18:05:46

milou
Membre
Lieu : Sur une autre planète....
Distrib. : Jessie - Stretch/Sid
Noyau : 3.16.0-4-amd64
(G)UI : Lxde
Inscription : 12-02-2015

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

Mise en conformité de la page wiki http://debian-facile.org/doc:programmat … ree-sortie
A vérifier de près.... tongue

Le lien de la page wiki renvoie ici, par contre le lien en #1 est obsolète.
Les liens en #5 et #9 renvoient bien sur la bonne page wiki

J’adorerais changer le monde, mais ils ne veulent pas me fournir le code source
Un vrai geek, c'est un mec qui croit que dans 1km, il y a 1024 mètres
Dans le doute, rebootes. Si tu te tâtes, formates.
1453651422.jpg

Hors ligne

#24 26-04-2015 17:04:20

milou
Membre
Lieu : Sur une autre planète....
Distrib. : Jessie - Stretch/Sid
Noyau : 3.16.0-4-amd64
(G)UI : Lxde
Inscription : 12-02-2015

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

Sur cette page j'ai séparé les retours des commandes, je ne sais pas si j'ai bien fait.... ou pas. A vérifier

J’adorerais changer le monde, mais ils ne veulent pas me fournir le code source
Un vrai geek, c'est un mec qui croit que dans 1km, il y a 1024 mètres
Dans le doute, rebootes. Si tu te tâtes, formates.
1453651422.jpg

Hors ligne

#25 26-04-2015 17:07:48

paskal
autobahn
Lieu : ailleurs
Inscription : 14-06-2011
Site Web

Re : [wiki] - Manuel des caractères de redirections de flux. Essentiel !

cool

I'd love to change the world
But I don't know what to do
So I'll leave it up to you...

logo-sur-fond.png

Hors ligne

Pied de page des forums