Questions marquées «linux»

121
Comment arrêter correctement une application Spring Boot?

Dans le document Spring Boot, ils ont déclaré que «Chaque SpringApplication enregistrera un hook d'arrêt auprès de la JVM pour s'assurer que ApplicationContext est fermé correctement à la sortie. Lorsque je clique ctrl+csur la commande shell, l'application peut être arrêtée en douceur. Si j'exécute...

120
Itération sur chaque ligne de sortie ls -l

Je veux parcourir chaque ligne dans la sortie de: ls -l /some/dir/* En ce moment, j'essaye: for x in $(ls -l $1); do echo $x; done Cependant, cela itère sur chaque élément de la ligne séparément, donc j'obtiens: -r--r----- 1 ivanevf eng 1074 Apr 22 13:07 File1 -r--r----- 1 ivanevf eng 1074 Apr 22...

120
imprimer la pile d'appels en C ou C ++

Existe-t-il un moyen de vider la pile d'appels dans un processus en cours d'exécution en C ou C ++ chaque fois qu'une certaine fonction est appelée? Ce que j'ai à l'esprit est quelque chose comme ceci: void foo() { print_stack_trace(); // foo's body return } Où print_stack_tracefonctionne de la...

120
Pourquoi le segment .bss est-il requis?

Ce que je sais, c'est que les variables globales et statiques sont stockées dans le .datasegment et que les données non initialisées sont dans le .bsssegment. Ce que je ne comprends pas, c'est pourquoi avons-nous un segment dédié pour les variables non initialisées? Si une variable non initialisée...

120
Comment extraire le fichier filename.tar.gz

Je souhaite extraire une archive nommée filename.tar.gz. L'utilisation tar -xzvf filename.tar.gzn'extrait pas le fichier. cela donne cette erreur: gzip: stdin: not in gzip format tar: Child returned status 1 tar: Error exit delayed from previous errors

119
Vérifier l'espace disque libre pour la partition actuelle dans bash

J'écris un installateur en bash. L'utilisateur ira dans le répertoire cible et exécutera le script d'installation, donc la première action devrait être de vérifier qu'il y a suffisamment d'espace. Je sais que df rapportera tous les systèmes de fichiers, mais je me demandais s'il y avait un moyen...

119
DESTDIR et PREFIX de la marque

J'essaye de faire installer le logiciel dans un répertoire spécifique. J'ai trouvé plusieurs moyens, mais je ne sais pas quelles sont les différences entre eux. ./configure --prefix=*** make install DESTDIR=*** make install prefix=*** Je suis confus au sujet des fonctions de ces trois....