Tootfinder

Opt-in global Mastodon full text search. Join the index!

@simon_brooke@mastodon.scot
2025-12-16 11:38:08

@borkdude, in your 'scittle with additional libraries' files, you have, for each file in the library, a line
SHADOW_ENV.evalLoad( <filename>, <boolean>, <???>);
where ??? is a string of JS source code with some punctuation replaced by hex codes.
The second last line appears to invoke the file itself (recursively!?!), and the last is always
SHADOW_ENV.evalLoad("shadow.module.<filename>.append.js", false, <???>);
Wha…

@mgorny@social.treehouse.systems
2026-01-08 03:45:16

There are two main ways to replace part of a string in a text editor, with a longer string.
Either you use the overwrite mode to overwrite the overlapping part, then switch to insert mode to append the extra characters, or you delete the overlapping part, then insert the new string using insert mode entirely.
Or you can be chaotic, use overwrite mode to replace part of it, prematurely switch to insert mode, delete the remaining extraneous characters and insert whatever is left.

@mgorny@social.treehouse.systems
2026-01-29 14:33:16

Open question, before I officially announce I can be contacted over Signal: what digits should I append to my nickname?