Retourner au contenu associé (entrée de forum : Quelques question concernant l'installation de nouvelles polices)
Posté par Delphine le 06 décembre 2017 à 23:10. En réponse au message Quelques question concernant l'installation de nouvelles polices. Évalué à 1. Dernière modification le 06 décembre 2017 à 23:10.
OK super merci !!
Peux-tu me dire quelle différence il y a entre taper une commande dans le terminal ou le faire par un jeu de clics ?
Par exemple la différence entre taper dans le terminal : rm /le/nom/de/mon fichier ou aller trouver mon fichier par un jeu de clic dans l'ordinateur puis faire clic droit et supprimer ?
C'est exactement la même chose, non ?
Ceux qui utilisent le terminal pour faire ce genre de chose trouvent ça plus rapide ? ou y a-t-il un avantage ?
Je suis désolée c'est toujours très basique et naïf mes questions, mais comme tu expliques bien j'en profite. ;op
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: La Racine = /
Posté par Delphine . En réponse au message Quelques question concernant l'installation de nouvelles polices. Évalué à 1. Dernière modification le 06 décembre 2017 à 23:10.
OK super merci !!
Peux-tu me dire quelle différence il y a entre taper une commande dans le terminal ou le faire par un jeu de clics ?
Par exemple la différence entre taper dans le terminal :
rm /le/nom/de/mon fichier
ou aller trouver mon fichier par un jeu de clic dans l'ordinateur puis faire clic droit et supprimer ?
C'est exactement la même chose, non ?
Ceux qui utilisent le terminal pour faire ce genre de chose trouvent ça plus rapide ? ou y a-t-il un avantage ?
Je suis désolée c'est toujours très basique et naïf mes questions, mais comme tu expliques bien j'en profite. ;op