diff options
author | bremner <bremner@web> | 2009-02-04 07:50:53 -0500 |
---|---|---|
committer | Joey Hess <joey@kitenet.net> | 2009-02-04 07:50:53 -0500 |
commit | 7bf1207c07c12623f6afc791bf33037b92477c93 (patch) | |
tree | e5736bec1d12c79f4f2d5856d2612d075026caba /doc/plugins | |
parent | 7c63da6c024b624ef6e5428032531dd2358080f9 (diff) |
Diffstat (limited to 'doc/plugins')
-rw-r--r-- | doc/plugins/contrib/sourcehighlight.mdwn | 7 |
1 files changed, 2 insertions, 5 deletions
diff --git a/doc/plugins/contrib/sourcehighlight.mdwn b/doc/plugins/contrib/sourcehighlight.mdwn index fb368945b..ac80f015c 100644 --- a/doc/plugins/contrib/sourcehighlight.mdwn +++ b/doc/plugins/contrib/sourcehighlight.mdwn @@ -12,11 +12,6 @@ highlight - I would like to have a link to the raw source; using will_render() and then copying the file should work. -- the common case of foo.c and foo.h breaks -because they both generate page working/dir/foo. -It looks to me like ikiwiki is hardcoded to strip the extension in `pagename()` (IkiWiki.pm). -This problem with sourcehighlight needs to be fixed before it is very useful. - - Is there a way to configure the colors used by source-highlight (other than editing the globally installed "default.style" file)? It would help if I could pass the command arbitrary command-line arguments; then I could configure which config file it's supposed to use. For instance, I'm not a fan of hard-coding the colors into the HTML output. IMHO, css-style formatting should be preferred. All that can be set via the command line ... --Peter > I don't really have time right now, but it should be easy to add, if you look at how src-lang is handled. Patches are welcome :-) --[[DavidBremner]] @@ -25,3 +20,5 @@ Note that [[Will]] wrote a plugin that uses source-highlight also. It's available [here|todo/automatic_use_of_syntax_plugin_on_source_code_files/discussion]]. --[[Joey]] + +*Updated* Now uses keepextension so multiple extensions should be OK |