Hide keyboard shortcuts

Hot-keys on this page

r m x p   toggle line displays

j k   next/prev highlighted chunk

0   (zero) top of page

1   (one) first highlighted chunk

1

2

3

4

5

6

7

#!/usr/bin/env python 

import os 

import sys 

if __name__ == "__main__": 

    os.environ['DJANGO_SETTINGS_MODULE'] = 'lino.projects.polly.settings.demo' 

    from django.core.management import execute_from_command_line 

    execute_from_command_line(sys.argv)