Eruda Loader

Load and setup Eruda with DOM plugin

Author
Crystal-RainSlide
Daily installs
0
Total installs
318
Ratings
0 0 0
Version
1.1
Created
2020-07-18
Updated
2021-07-29
License
N/A
Applies to
All sites

See https://eruda.liriliri.io/ and https://github.com/liriliri/eruda if you don't know what does this script do.

Unlike other scripts (1, 2, 3, 4), this script make use of the @require, instead of ask your browser to download Edura every time it loads. Ensures a faster and more stable loading.

This script use one space for it's -1 level indent, and the max width per line is 60 for the // ==UserScript== comment and 40 for the JavaScript code, for editing on mobile. Default setting and custom style included. Max log number is set to 256 to avoid performance issues on low-memory device.

Updating Eruda

As a side effect of using @require, if your UserScript manager don't update the @require itself, you have to manually update edura. Please refer to the document of your UserScript manager for the definite behavior, or "Should I update @require manually when using this UserScript manager".

Manually update

To manually update edura and the plugin(s), just add ?anything to the end of the @require URL, just like:

https://cdn.jsdelivr.net/npm/eruda?t=1595040000000

and save the script. for the next update, just remove the ?t=.... For future updates, just add it back, and remove, and...

Specific version

To get a specific version, just add @version to the end of the @require URL, just like:

https://cdn.jsdelivr.net/npm/eruda@2.3.3

and change the version code manually. Note that older versions support less or different default settings, you may need to write the config yourself. Check out https://www.jsdelivr.com/ for more about this.


Are you writing this beacuse you are despairated to the existing scripts?
Yes.