V Debianu nefunguje taskset time příkaz

V Debianu nefunguje taskset time příkaz
« kdy: 20. 10. 2022, 19:41:23 »
Z jakého důvodu v debianu nejde příkaz
Kód: [Vybrat]
taskset -c 0 time grep -r bla..._.+ dir
Hlásí to taskset: failed to execute time :Adresář/složka neexistuje

Na Ubuntu to jde.

Do toho mám druhý dotaz, proč vrací forma tasket time příkaz patičku kde chybí nové řádky a tabulátory? Narážím na tu ztrátu formátování mezer, řádků oproti běžnému příkazu time whoami, který je na 3 řádku úhledně a tabulátory zajíštují i sloupcový vzhled..

Kód: [Vybrat]
Výstup        z
  programu ještě s zachovanými
   mezery       a tabulátory.
KONEC PROGRAMU10.21user 0.00system 0:4.21elapsed 99%CPU


Mimochodem: přehození time na začátek taky jde na obou platformách. Ale setkal jsem se další zvláštností, že nějak výsledky real/user/sys byly nekonzistentní v tom smyslu, že občas byl user čas skoro nulový, když normálně se téměř rovná času real. Bohužel nemohu zreprodukovat.

To by se vysvětlilo čím? Tipoval bych něco směrem, že úloha se přesunula na jiný cpu...což je věc náhody a možná aktuálního zátěže systému.
« Poslední změna: 20. 10. 2022, 20:07:38 od Petr Krčmář »


Re:V Debianu nefunguje taskset time příkaz
« Odpověď #1 kdy: 20. 10. 2022, 20:20:54 »
Příkaz time je zabudovaným příkazem Bashe (viz příkaz help). Po spuštění se taskset snaží spustit na disku soubor time, ale ten pochopitelně neexistuje. Řešením je nainstalovat si balíček time, který ten soubor do systému doplní. Viz:

Kód: [Vybrat]
# which time
# apt install time
# which time
/usr/bin/time