Як порівняти часові позначки файлів у bash?

Як порівняти часову позначку двох файлів?

Я спробував це, але це не працює:

file1time=`stat -c %Y fil1.txt`
file2time=`stat -c %Y file2.txt`
if[$file1time -gt $file2time];
then
 doSomething
fi

Я надрукував обидва часові позначки для того, і це мені дає

1273143480
1254144394
./script.sh: line 13: [1273143480: command not found

Отже, якщо порівняння не працює, я думаю. Або якщо є якийсь інший приємний спосіб, ніж те, що я роблю, будь ласка, дайте мені знати. Що я повинен змінити?

Операторами для порівняння часових позначок є:

[ $file1 -nt $file2 ]
[ $file1 -ot $file2 ]

Мнемонічне легко: «новіший за» та «старший за».

Це через деякі пропуски. [це команда, тому у неї повинно бути пробіли, і ]це спеціальний параметр, щоб вказати, де закінчується його командна лінія. Отже, ваш тестовий рядок повинен виглядати так:

if [ $file1time -gt $file2time ];

ifне є магією. Він намагається запустити передану йому команду та перевіряє, чи має стан нульового виходу. Він також не справляється з неіснуючими аргументами, саме тому ви повинні цитувати змінні, які використовуються в ньому.

if [ "$file1time" -gt "$file2time" ]

if ( [ $file1time -gt $file2time ] );
then
 doSomething
fi