Enable repl plugin #25

Open
opened 2024-06-19 09:41:00 +02:00 by ni · 2 comments
ni commented 2024-06-19 09:41:00 +02:00 (Migrated from git.w21.org)

Have a hook or a variable for starting a user-supplied repl, if present. Thinking about it, a separate hook (after the startup hooks that may read the user startup file) might be in order. The return value of a/the hook function could indicate the repl has been covered (and ended).

Have a hook or a variable for starting a user-supplied repl, if present. Thinking about it, a separate hook (after the startup hooks that may read the user startup file) might be in order. The return value of a/the hook function could indicate the repl has been covered (and ended).
ni commented 2024-06-19 09:45:16 +02:00 (Migrated from git.w21.org)

changed the description

changed the description
ni commented 2024-06-19 09:46:14 +02:00 (Migrated from git.w21.org)

changed the description

changed the description
Sign in to join this conversation.
No description provided.