С zsh
:
$ unzip -l a.zip.zip
Archive: a.zip.zip
Length Date Time Name
--------- ---------- ----- ----
195 2014-08-18 09:38 a.zip
--------- -------
195 1 file
$ unzip -l =(unzip -p a.zip.zip a.zip)
Archive: /tmp/zsh0i0JyZ
Length Date Time Name
--------- ---------- ----- ----
55 2014-08-15 15:24 a
--------- -------
55 1 file
= (...)
- это третья форма подстановки процесса, которая использует временный файл вместо канала ( unzip
работает только с файлами, доступными для поиска).
Я наконец понял его: все, что мне нужно было сделать, это добавить строку xrandr --output dvi-0 - mode 1280x1024 --output dvi-1 - -Мод 1024x768 --left-dvi-0
к началу моего сценария de.
Чтобы найти значения для параметров - вывод
, просто введите xrandr
. Вот вывод Xrandr
на моей машине прямо сейчас:
Screen 0: minimum 320 x 200, current 2304 x 1024, maximum 8192 x 8192
DVI-0 connected primary 1280x1024+1024+0 (normal left inverted right x axis y axis) 376mm x 301mm
1280x1024 60.0*+ 75.0
1152x864 75.0
1024x768 75.1 60.0
800x600 75.0 60.3
640x480 75.0 60.0
720x400 70.1
S-video disconnected (normal left inverted right x axis y axis)
DVI-1 connected 1024x768+0+0 (normal left inverted right x axis y axis) 0mm x 0mm
1024x768 60.0*
800x600 60.3 56.2
848x480 60.0
640x480 59.9