Stuck on an issue?

Lightrun Answers was designed to reduce the constant googling that comes with debugging 3rd party libraries. It collects links to all the places you might be looking at while hunting down a tough bug.

And, if you’re still stuck at the end, we’re happy to hop on a call to see how we can help out.

Development guide outdated

See original GitHub issue

Describe the bug

Essentially, in https://github.com/python/peps/pull/1577 we’re simply trying to confirm that adding code highlighting to PEPs works but we cannot build the site to confirm using https://pythondotorg.readthedocs.io/install.html

We get errors such as:

django.db.utils.OperationalError: could not connect to server: No such file or directory
        Is the server running locally and accepting
        connections on Unix domain socket "/var/run/postgresql/.s.PGSQL.5432"?

Desktop (please complete the following information):

OS: Windows 10 and Ubuntu 18.04

Additional context

Issue Analytics

State:
Created 3 years ago
Comments:9 (6 by maintainers)

Top GitHub Comments

1reaction

hugovkcommented, Sep 21, 2020

That said, we might need to add some CSS so the classes that pygments produces show up correctly.

I found PR https://github.com/python/pythondotorg/pull/1063 to add CSS colouring, but it was closed in 2017 as the plan was to use RtD instead. Also in 2017 Brett suggested re-opening it as the RtD move was going slowly.

In 2020 the RtD move is still going slowly, so I’ve rebased https://github.com/python/pythondotorg/pull/1063 and re-opened it as https://github.com/python/pythondotorg/pull/1638.

0reactions

ofekcommented, Sep 21, 2020

Thanks!!!