Re: Wiki: syntax highlight

[Juan Pablo Carbajal]

On Thu, Mar 8, 2012 at 8:48 AM, Fredrik Lingvall
<address@hidden> wrote:
> On 03/08/12 02:17, John W. Eaton wrote:
>>
>> On  8-Mar-2012, Joanna Cheng wrote:
>>
>> | I don't have shell access; the right person to talk to about extension
>> | installation is jwe.
>>
>> And you need to give me precise instructions, including URLs for where
>> I can find extensions, etc.
>>
>> jwe
>
> This is what I did (on our Gentoo box):
>
> 1) Download the extension:
> http://www.mediawiki.org/wiki/Extension:SyntaxHighlight_GeSHi
>
> 2) Uncompress it in the extensions folder (the path below is for Gentoo)
>
>  ~ # tar -xzf SyntaxHighlight_GeSHi-MW1.18-r90546.tar.gz -C
> /var/www/localhost/htdocs/mediawiki/extensions
>
> 3) Edit the
>  
> /var/www/localhost/htdocs/mediawiki/extensions/SyntaxHighlight_GeSHi/SyntaxHighlight_GeSHi.class.php
> file
>
> On line 270 change (to enable the dashed box):
>
>
> $css[] = "\tline-height: normal; border: 0px none white;";
>
> to
>
>
> $css[] = "\tline-height: normal; border: 1px dashed #2f6fab;";
>
>
> I would prefer some more space between the text and the dashed box (eg.,
> similar to<pre>) but my php skills are rather limited.
>
> /Fredrik
>
>
>

Hi,

@jwe: Do you need more information?
http://www.mediawiki.org/wiki/Extension:SyntaxHighlight_GeSHi#Installation
http://www.mediawiki.org/wiki/Extension:SyntaxHighlight_GeSHi#Configuration



-- 
M. Sc. Juan Pablo Carbajal
-----
PhD Student
University of Zürich
http://ailab.ifi.uzh.ch/carbajal/