Sync changes from Frog's pygments #181

Merged
sorawee merged 1 commits from master into master 6 years ago
sorawee commented 6 years ago (Migrated from github.com)

Upstream code:
https://github.com/greghendershott/frog/blob/master/frog/private/enhance-body/syntax-highlight/pygments.rkt

In particular, this commit allows users to supply a Python executable
which is needed if, for example, Pygments is installed for Python 3, but
python is an alias for Python 2.

Note that this is backward compatible with the previous version (the change to params is OK because Pollen never expose them to users, and the function pygmentize is private, so changing the signature is also OK).

Upstream code: https://github.com/greghendershott/frog/blob/master/frog/private/enhance-body/syntax-highlight/pygments.rkt In particular, this commit allows users to supply a Python executable which is needed if, for example, Pygments is installed for Python 3, but `python` is an alias for Python 2. Note that this is backward compatible with the previous version (the change to `params` is OK because Pollen never expose them to users, and the function `pygmentize` is private, so changing the signature is also OK).
mbutterick commented 6 years ago (Migrated from github.com)

OK! Thanks!

OK! Thanks!
The pull request has been merged as 7ab5a8d59f.
You can also view command line instructions.

Step 1:

From your project repository, check out a new branch and test the changes.
git checkout -b master master
git pull origin master

Step 2:

Merge the changes and update on Gitea.
git checkout master
git merge --no-ff master
git push origin master
Sign in to join this conversation.
No reviewers
No Label
No Milestone
No project
No Assignees
1 Participants
Notifications
Due Date
The due date is invalid or out of range. Please use the format 'yyyy-mm-dd'.

No due date set.

Dependencies

No dependencies set.

Reference: mbutterick/pollen#181
Loading…
There is no content yet.