В коде «{exec> / dev / null; }> / dev / null ”что происходит под капотом?

Когда вы перенаправляете список команд, который содержит перенаправление exec, exec> / dev / null, похоже, по-прежнему не применяется впоследствии, например, с помощью:

{ exec >/dev/null; } >/dev/null; echo "Hi"

«Привет» печатается.

У меня сложилось впечатление, что {}список команд не считается подоболочкой, если только он не является частью конвейера, поэтому, на exec >/dev/nullмой взгляд, его все равно следует применять в текущей среде оболочки.

Теперь, если вы измените его на:

{ exec >/dev/null; } 2>/dev/null; echo "Hi"

нет ожидаемого выхода; дескриптор файла 1 остается указанным на / dev / null и для будущих команд. Это показано повторным запуском:

{ exec >/dev/null; } >/dev/null; echo "Hi"

который не даст никакого выхода.

Я пытался сделать сценарий и определить его, но я все еще не уверен, что именно здесь происходит.

Что происходит в каждом сценарии с дескриптором файла STDOUT?

РЕДАКТИРОВАТЬ: добавив мой вывод strace:

read(255, "#!/usr/bin/env bash\n{ exec 1>/de"..., 65) = 65
open("/dev/null", O_WRONLY|O_CREAT|O_TRUNC, 0666) = 3
fcntl(1, F_GETFD)                       = 0
fcntl(1, F_DUPFD, 10)                   = 10
fcntl(1, F_GETFD)                       = 0
fcntl(10, F_SETFD, FD_CLOEXEC)          = 0
dup2(3, 1)                              = 1
close(3)                                = 0
close(10)                               = 0
open("/dev/null", O_WRONLY|O_CREAT|O_TRUNC, 0666) = 3
fcntl(1, F_GETFD)                       = 0
fcntl(1, F_DUPFD, 10)                   = 10
fcntl(1, F_GETFD)                       = 0
fcntl(10, F_SETFD, FD_CLOEXEC)          = 0
dup2(3, 1)                              = 1
close(3)                                = 0
dup2(10, 1)                             = 1
fcntl(10, F_GETFD)                      = 0x1 (flags FD_CLOEXEC)
close(10)                               = 0
fstat(1, {st_mode=S_IFCHR|0666, st_rdev=makedev(1, 3), ...}) = 0
ioctl(1, TCGETS, 0x7ffee027ef90)        = -1 ENOTTY (Inappropriate ioctl for device)
write(1, "hi\n", 3)                     = 3

Давайте следовать

{ exec >/dev/null; } >/dev/null; echo "Hi"

шаг за шагом.

1. Есть две команды:

   а. { exec >/dev/null; } >/dev/null, с последующим

   б. echo "Hi"

   Оболочка выполняет сначала команду (а), а затем команду (б).

2. Исполнение { exec >/dev/null; } >/dev/nullвыручки происходит следующим образом:

   а. Во-первых, оболочка выполняет перенаправление >/dev/null и запоминает отмену, когда команда заканчивается .

   б. Затем оболочка выполняется { exec >/dev/null; }.

   с. Наконец, оболочка переключает стандартный вывод обратно туда, где был. (Это тот же механизм, что и в ls -lR /usr/share/fonts >~/FontList.txtперенаправлениях, выполняются только на время выполнения команды, к которой они принадлежат.)

3. Как только первая команда выполнена, оболочка выполняется echo "Hi". Стандартный вывод там, где он был до первой команды.

Чтобы не использовать вложенную оболочку или подпроцесс, когда вывод составного списка {}передается по конвейеру >, оболочка сохраняет дескриптор STDOUT перед запуском составного списка и восстанавливает его после. Таким образом, exec >в составном списке не действует после точки, где старый дескриптор восстанавливается как STDOUT.

Давайте посмотрим на соответствующую часть strace bash -c '{ exec >/dev/null; } >/dev/null; echo hi' 2>&1 | cat -n:

   132  open("/dev/null", O_WRONLY|O_CREAT|O_TRUNC, 0666) = 3
   133  fcntl(1, F_GETFD)                       = 0
   134  fcntl(1, F_DUPFD, 10)                   = 10
   135  fcntl(1, F_GETFD)                       = 0
   136  fcntl(10, F_SETFD, FD_CLOEXEC)          = 0
   137  dup2(3, 1)                              = 1
   138  close(3)                                = 0
   139  open("/dev/null", O_WRONLY|O_CREAT|O_TRUNC, 0666) = 3
   140  fcntl(1, F_GETFD)                       = 0
   141  fcntl(1, F_DUPFD, 10)                   = 11
   142  fcntl(1, F_GETFD)                       = 0
   143  fcntl(11, F_SETFD, FD_CLOEXEC)          = 0
   144  dup2(3, 1)                              = 1
   145  close(3)                                = 0
   146  close(11)                               = 0
   147  dup2(10, 1)                             = 1
   148  fcntl(10, F_GETFD)                      = 0x1 (flags FD_CLOEXEC)
   149  close(10)                               = 0

Вы можете видеть, как в строке 134 дескриптор 1( STDOUT) копируется в другой дескриптор с индексом, по крайней мере 10(это то, что F_DUPFDделает; он возвращает наименьший доступный дескриптор, начинающийся с заданного числа после дублирования на этот дескриптор). Также посмотрите, как в строке 137 результат open("/dev/null")(дескриптор 3) копируется в дескриптор 1( STDOUT). Наконец, в сети 147старое STDOUTсохраненное в дескрипторе 10копируется обратно в дескриптор 1( STDOUT). Чистый эффект состоит в том, чтобы изолировать изменение STDOUTна онлайн 144(что соответствует внутреннему exec >/dev/null).

Разница между { exec >/dev/null; } >/dev/null; echo "Hi"и { exec >/dev/null; }; echo "Hi"заключается в том, что двойное перенаправление выполняется dup2(10, 1);перед закрытием fd 10, который является копией оригинала stdout, перед выполнением следующей команды ( echo).

Это происходит так, потому что внешний редирект фактически перекрывает внутренний. Вот почему он копирует обратно оригинальный stdoutfd после завершения.