personal-jekyll-theme
personal-jekyll-theme copied to clipboard
Pygmentation
Issue Fixed #138
Proposed Changes
- I changed the hard coded parts (
<pre><code>
etc.) with pymented ones ({% highlight
etc.) - I used:
-
grep -rl '<pre>' . | xargs sed -ir 's/<pre><code\ data-trim\ class="\([a-z]*\)">/\{% highlight\ \1\ %\}/g'
-
grep -rl '</code>' . | xargs sed -ir 's/<\/code><\/pre>/\{% endhighlight %\}/g'
@djcaesar9114 good stuff! How about creating a script with your two commands in order for the existing users to migrate to pygments? 😉
Also, we should remove the highlight.js dependency now that we're switching to pygments.
OK, got it! I'm on it ;)
@eiselems @joariasl This is a really good PR, let's test it and merge it to master 😉
No need for a migration script is needed 😄
@djcaesar9114 is there still work left to be done (besides the merge conflict)?
Good to go ;)
haha shit :/