В zsh
с extendedglob
:
print -rl -- *~*.(txt|pdf)
или
print -rl -- ^*.(txt|pdf)
Или с kshglob
(да, который является ksh globbing не, "колотят расширенный globbing"):
print -rl -- !(*.txt|*.pdf)
Помните, хотя это они также исключают точечные файлы.
ksh93 имеет FIGNORE
(mis) функция:
FIGNORE='@(.|..|*.txt|*.pdf)'
printf '%s\n' *
Сценарий установки Devtools является небольшим багги. Можно установить его довольно легкий, просто клонировав код от мерзавца и создать символьную ссылку на phalcon.php.
перейдите к некоторой папке (позвольте, говорят, что это - домашняя папка пользователя), и клонируйте devtools с:
CD ~
клон мерзавца https://github.com/phalcon/phalcon-devtools.git
создайте символьную ссылку и изменение, это - полномочия:
ln-s ~/phalcon-devtools/phalcon.php/usr/bin/phalcon
chmod ugo+x/usr/bin/phalcon
И это должно быть этим. При выполнении phalcon в терминале, он должен дать Вам список команд. Если это жалуется на phalcon, не установленный, то необходимо добавить строку
extension=phalcon.so
к php.ini Вашего cli, так как Вы, вероятно, изменили просто php.ini апача или безотносительно сервера, который Вы используете.