[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: [Help-source-highlight] zsh not working?
|
From: |
Lorenzo Bettini |
|
Subject: |
Re: [Help-source-highlight] zsh not working? |
|
Date: |
Mon, 08 Jun 2015 17:37:27 +0200 |
|
User-agent: |
Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Thunderbird/31.7.0 |
On 08/06/2015 17:20, Tim Hermans wrote:
> When I use source-highlight on a .zsh file it just hangs. Is this a
> known issue? Highlighting works on the same file when I used the
> "sh.lang" definition.
>
> % source-highlight --verbose --failsafe --lang-def=zsh.lang -f esc -i
> .zshrc
> retrieving default datadir value...
> using hardcoded datadir value /usr/share/source-highlight
> opening ./outlang.map
> opening /usr/share/source-highlight/outlang.map
> opening ./esc.outlang
> opening /usr/share/source-highlight/esc.outlang
> opening ./default.style
> opening /usr/share/source-highlight/default.style
> opening ./style.defaults
> opening /usr/share/source-highlight/style.defaults
> opening ./zsh.lang
> opening /usr/share/source-highlight/zsh.lang
> opening ./number.lang
> opening /usr/share/source-highlight/number.lang
> opening ./script_comment.lang
> opening /usr/share/source-highlight/script_comment.lang
> ^C
Hi
which version are you using?
Does this happen on any .zsh file?
cheers
Lorenzo
--
Lorenzo Bettini, PhD in Computer Science, DI, Univ. Torino
HOME: http://www.lorenzobettini.it
Xtext Book:
http://www.packtpub.com/implementing-domain-specific-languages-with-xtext-and-xtend/book