ghc-docker-dev

ghc-docker-dev copied to clipboard

Enable bash-completion (assuming /etc/profile is sourced by default)

2

code5hot

#12, use debian testing repo in addition to being the base system

2

use debian testing repo in addition to being the base system. The testing system of today has the required version of happy, but "stretch" doesn't

code5hot

code5hot

ghc requires happy 1.19.10 but the docker only has 1.19.9 and debian stretch doesn't even have that version

5

ghc requires happy 1.19.10 but the docker only has 1.19.9 and debian doesn't even have that version until the testing release. By deduction, ghc's CI doesn't check that this docker...

code5hot

configure could use some extra tools

1

I noticed these messages during configure: ``` HsColour was not found; documentation will not contain source links Tools to build Sphinx PDF documentation available: NO ```

flip111

documentation will be generated without source links because hscolour is missing

1

If you're going to rebuild the image to get happy > 1.19.9 in it, please could you also add hscolour so documentation will be generated with source links?

code5hot

please install and enable bash-completion

3

bash-completion helps people do their thing a lot. Especially there's good bash-completion for GNU make (I know because I made it good :) so if you rebuild the docker image...

code5hot