2020-10-13 09:00:00 +02:00
|
|
|
---
|
|
|
|
|
- name: Create directories for configuration
|
2020-10-17 13:12:22 +02:00
|
|
|
file:
|
|
|
|
|
path: ~/.ghc
|
|
|
|
|
state: directory
|
2020-10-13 09:00:00 +02:00
|
|
|
|
|
|
|
|
- name: Install ghci.conf
|
|
|
|
|
template:
|
|
|
|
|
src: templates/ghci.conf.j2
|
|
|
|
|
dest: ~/.ghc/ghci.conf
|
