Что означают даты в /usr/lib/php/?

xargs не так радикально отличается от GNU parallelчто нужно кардинально менять структуру команды. Это

find. <find_args> -print0 | xargs -0 -L 1 sh -c 'touch "$1" -d "$(date -d @$(( 0x$(md5sum "$1" | cut -b 1-7) )) )"' sh
работает.

Кроме того, в моей системе вам не нужно использовать date -d; touchтакже может ручка -d @number, так что вы можете сделать

find. <find_args> -print0 | xargs -0 -L 1 sh -c 'touch "$1" -d "@$(( 0x$(md5sum "$1" | cut -b 1-7) ))"' sh
0
09.06.2020, 10:53
1 ответ

Даты используются для идентификации версий PHP API и закодированы вmain/php.hв исходном коде PHP. Они используются в качестве идентификаторов сборки для расширений PHP.

20170718 соответствует PHP 7.2, а 20180731 — PHP 7.3.

2
18.03.2021, 23:29

Теги

Похожие вопросы