[gull] [EXTERNAL] grep et barre de progression

[Félix Hauri]

Re,

Merci Paul, pour le feed-back!

Ok, le module chargeable ``stat'' n'existe pas dans les bash-builtins
de debian 11...

Sous Debian 12, il faut:
  apt install bash-builtins

Sous Debian 11, cela ne fonctionne pas, du coup j'ai modifié:

 enable -f /usr/lib/bash/stat stat || exit

par:

 if enable -f /usr/lib/bash/stat stat; then
      fileSize() {
          local -A _Array
          stat -A _Array "$1"
          printf -v "${2:-filesize}" %u "${Array[size]}"
      }
  else
     fileSize() {
          read -r "${2:-fileSize}" < <(stat -c %s "$1")
     }
  fi

... Et testé sous Debian 11!

Sous Debian 10, ce sera "no way!", l'option ``-p'' de la commande wait
n'existe pas.

Le Fri, Jan 03, 2025 at 11:48:28AM +0100, Paul Bartholdi a écrit :
> J'ai un petit problème avec ppGrep .  je n'ai pas de fichier
> /usr/lib/bash/stat  et /usr/bin/stat  "cannot dynamically load
> ...
> J'utilise Debian 11 (Emmabüntus).

-- 
 Félix Hauri  -  <felix at f-hauri.ch>  -  http://www.f-hauri.ch