Мануалы и справочники Общие команды
ghci

Команда ghci: опции, ключи и примеры использования

ghci

The Glasgow Haskell Compiler's interactive environment. More information: https://downloads.haskell.org/ghc/latest/docs/html/users_guide/ghci.html.

  • Start a REPL (interactive shell):

ghci

  • Start a REPL and load the specified Haskell source file:

ghci {{source_file.hs}}

  • Start a REPL and enable a language option:

ghci -X{{language_option}}

  • Start a REPL and enable some level of compiler warnings (e.g. all or compact):

ghci -W{{warning_level}}

  • Start a REPL with a colon-separated list of directories for finding source files:

ghci -i{{path/to/directory1}}:{{path/to/directory2}}

Также может быть вам интересно:

ghc

The Glasgow Haskell Compiler. Compiles and links Haskell source files.…

Читать »

gh-completion

completion Generate shell completion scripts for GitHub CLI commands. More…

Читать »
Фото Так ли безопасен Linux? Несколько коммитов с уязвимосятми в stable

Так ли безопасен Linux? Несколько коммитов с уязвимосятми в stable

Исследователи сумели пройти code-review с реквестами в ядро Linux, заведомо содержащими добавление уязвимостей.

Фото Microsoft открывает исходники, а её IDE супер-популярна

Microsoft открывает исходники, а её IDE супер-популярна

Решил сложить пару фактов и немного над этим поразмыслить. Реально ли Microsoft "переобулись"?

Фото Пример своей консольной команды в Django проекте

Пример своей консольной команды в Django проекте

Если вы работали с Django проектом, то, скорее всего, запускали команды из консоли (manage.py). В Django есть простой способ писать свои команды для управления проектом.

Фото Как на Bash посчитать число строк в проекте (директории)

Как на Bash посчитать число строк в проекте (директории)

Ниже будет представлен однострочник, решающий данную задачу на Bash + пошаговое описание его работы.

Фото Как на Bash получить файлы, изменённые за сегодняшний день

Как на Bash получить файлы, изменённые за сегодняшний день

Bash имеет огромные возможности по программированию/скриптованию и администрированию операционной системы. Не важно: Linux это, FreeBSD, или MacOS – на Bash можно сделать многое.

Фото Как установить часовой пояс в Linux

Как установить часовой пояс в Linux

В рамках первичной настройки Операционной Системы важно установить и по какому времени вы живёте, ведь при следующем обновлении времени через Интернет ваше время слетит.

Фото Как найти самые большие папки и файлы в Linux

Как найти самые большие папки и файлы в Linux

Когда кончается место на жестком диске, возникает закономерный вопрос: на что же оно было потрачено, какие файлы разрослись больше положенного?

Фото Команда grep – полезные ключи и примеры использования

Команда grep – полезные ключи и примеры использования

У команды "grep" довольно много различных особенностей. особенно, если учесть, что с английского это "решето" – а что может войти в решето , не факт что выйдет!