Результаты поиска по запросу "shell"

1 ответ

Облегченная GNU readline альтернатива

Я ищу альтернативу readline GNU. Он включает в себя множество функций, но только пара из них полезна для меня, как описано ниже - Я работаю над интерактивным приложением командной строки (отобразить приглашение и принять следующую ...

4 ответа

Перебор точек монтирования с использованием Python

Как перебрать точки монтирования системы Linux с использованием Python? Я знаю, что могу сделать это с помощью команды df, но есть ли встроенная функция Pyth...

2 ответа

Модификация PATH с рыбными раковинами

В настоящее время я играю сракушка и у меня возникли проблемы с оборачиванием

ТОП публикаций

1 ответ

Безопасное выполнение сценариев оболочки; выход из варса перед казнью

Давайте представим, что у нас есть простой скрипт php, который должен получить

3 ответа

Bash: Завершить при превышении времени ожидания / переполнении файла при выполнении команды

Я пишу скриптовую версию в bash. Предполагается выполнить программу на C, которая выдаст некоторый вывод (который я перенаправляю в файл.) Я пытаюсь (1) сдел...

4 ответа

Как программно отправить электронное письмо так же, как я могу «Отправить получателю» в проводнике Windows?

ShellExecute () позволяет мне выполнять простые задачи оболочки, позволяя системе позаботиться об открытии или печати файлов. Я хочу использовать аналогичный...

4 ответа

В чем разница между «./somescript.sh» и «. ./somescript.sh»

Сегодня я следовал инструкциям по установке программного обеспечения в Linux. Был скрипт, который нужно запустить первым. Устанавливает некоторые переменные ...

2 ответа

Исключить конкретное имя файла из оболочки

Я хочу исключить конкретное имя файла (скажем,

2 ответа

Аргументы subprocess.call () игнорируются при использовании shell = True с списком [duplicate]

На этот вопрос уже есть ответ здесь:subprocess.call с использованием строки против использования списка 1 ответЯ пытаюсь заставить метод python subprocess.ca...

2 ответа

Почему wget игнорирует строку запроса в URL?

Я хочу использовать wget для загрузки следующих 18 HTML-файлов: