User Tools

Site Tools

Indexmenu Plugin: If you use the 'js'-option of the indexmenu plugin, you have to disable the 'defer_js'-setting. This setting is temporary, in the future the indexmenu plugin will be improved.


Tips and tricks about Linux operating system.

Now include the section Bash

Table of contents

linux/start.txt · Last modified: 2020/06/04 19:15 by rik