Je veux comparer deux nombres à virgule flottante dans un script shell. Le code suivant ne fonctionne pas: #!/bin/bash min=12.45 val=10.35 if (( $val < $min )) ; then min=$val fi echo $min
Btrfs a commencé à gagner du terrain en remplaçant ext4 comme système de fichiers par défaut de choix pour quelques distributions telles que Fedora Core 16 . Il est expérimentalement disponible dans un certain nombre d'autres distributions ( De Wikipedia: openSUSE 11.3, SLES 11 SP1, Ubuntu 10.10, Sabayon Linux, RHEL6, …
Fermé . Cette question est basée sur l'opinion . Il n'accepte pas actuellement de réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin d'y répondre avec des faits et des citations en modifiant ce message . Fermé il y a 3 ans . J'ai installé Cygwin, pour être …
Actuellement, j'ai ce qui suit dans mon .zshrc: bindkey '^[[A' up-line-or-search bindkey '^[[B' down-line-or-search Cependant, cela ne semble correspondre au contenu de mon entrée actuelle avant qu'un caractère espace ne se produise. Par exemple, sudo ls /correspondra à chaque ligne de mon historique qui commence par sudo, alors que je …
Les liens suivants présentent ces concepts dans différents contextes. J'ai lu leurs définitions, mais je ne sais toujours pas comment elles sont liées, ou si certaines d'entre elles sont identiques. ID de groupe actuel ID de groupe ID de groupe principal et supplémentaire ID de groupe efficaces et réels (également …
Je voudrais définir le titre du terminal pour user@hostque je puisse facilement savoir à quelle machine je suis connecté à partir du titre de la fenêtre. Existe-t-il un moyen de le faire depuis SSH ou depuis le terminal GNOME?
Fermé . Cette question est basée sur l'opinion . Il n'accepte pas actuellement de réponses. Voulez-vous améliorer cette question? Mettez à jour la question afin d'y répondre avec des faits et des citations en modifiant ce message . Fermé il y a 5 ans . Pourquoi l'environnement de bureau par …
Collé sous cette question est un échantillon d'un /etc/hostsfichier à partir d'un Linux (CentOS) et d'une machine Windows. Le fichier Linux a deux entrées à onglets après l'adresse IP (c'est-à-dire localhost.localdomain localhost) et Windows n'en a qu'une. Si je veux modifier le fichier hosts dans Windows pour avoir le nom …
En obtenant des métadonnées à partir de certains fichiers pdf avec des signets par pdftk, j'observe le format des signets dans les métadonnées pdf. Je suppose donc qu'avec pdftk, il est possible d'ajouter et de modifier les signets d'un fichier pdf. Voici trois étapes que je suis: J'obtiens d'abord les …
Existe-t-il un moyen de créer un fichier journal pour conserver certaines données dans / var / log / à l'aide d'une fonction de bibliothèque ou d'un appel système en langage c sous linux. Et je veux aussi connaître les normes que nous devons suivre pour écrire et traiter le journal. …
Je travaille dans un système d'exploitation intégré comme uCOS, ThreadX. Alors que j'ai codé des applications sous Linux, je prévois maintenant de commencer à apprendre le noyau Linux. J'ai quelques questions concernant l'environnement. Quelle est la meilleure distribution, qui dispose d'outils faciles à utiliser pour le développement du noyau? (jusqu'à …
Pourquoi un shebang a-t-il besoin d'un chemin? Faux #!ruby Correct #!/usr/local/bin/ruby #!/usr/bin/env ruby Le système d'exploitation doit disposer des informations concernant le chemin d'accès d'une commande enregistrée, et pourquoi s'attend-il toujours à ce qu'elle soit donnée?
J'utilise l'écran depuis des années maintenant comme moyen de garantir que tout travail à distance reste ouvert en toute sécurité après des déconnexions / plantages. En fait, bien entendu, j'utilise des écrans même lorsque je travaille localement. Récemment, mes exigences sont passées au stade où je suis passé à tmux …
We use cookies and other tracking technologies to improve your browsing experience on our website,
to show you personalized content and targeted ads, to analyze our website traffic,
and to understand where our visitors are coming from.
By continuing, you consent to our use of cookies and other tracking technologies and
affirm you're at least 16 years old or have consent from a parent or guardian.