Re: [tlaplus] Re: I've been working on a TLA+ guide

[Markus Kuppe <tlapl...@xxxxxxxxxxx>]

On 01.03.2017 04:54, Hillel Wayne wrote:
> Github repo is now public: https://github.com/hwayne/learntla

Hi,

when I locally run hugo, I just get an empty page with a single open and
closing <pre>. I suppose the missing lexer errors are related to the
missing Pygments formatter? Does this also explain the empty page?

Cheers

Markus

---

markus@avocado:~/src/TLA/learntla(master) $ hugo server
Started building sites ...
ERROR 2017/03/01 08:53:46 Unable to locate template for shortcode
'notice' in page index
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Unable to locate template for shortcode
'notice' in page a-simple-spec
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Unable to locate template for shortcode
'notice' in page procedures-and-macros
ERROR 2017/03/01 08:53:46 Unable to locate template for shortcode
'notice' in page index
ERROR 2017/03/01 08:53:46 Unable to locate template for shortcode
'notice' in page index
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Unable to locate template for shortcode
'notice' in page index
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:46 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:47 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:48 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:48 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:48 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:48 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:48 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:48 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:48 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:48 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:48 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:48 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:48 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:48 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:48 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:48 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:48 Error: no lexer for alias 'tla' found
ERROR 2017/03/01 08:53:48 Error: no lexer for alias 'tla' found
Built site for language en:
0 of 1 draft rendered
0 future content
0 expired content
41 regular pages created
11 other pages created
55 non-page files copied
0 paginator pages created
0 tags created
0 categories created
total in 2537 ms
Watching for changes in
/home/markus/src/TLA/learntla/{content,layouts,static}
Serving pages from memory
Web Server is available at http://localhost:1313/ (bind address 127.0.0.1)
Press Ctrl+C to stop