Is
what you are looking for?
Henry Rich
On 7/2/2022 10:42 AM, Ewart Shaw wrote:
Thanks Raul; sorry for being unclear about my Wiki markup difficulties.
I thought there was a command on the old J Wiki, something like [[Date]],
to show the current date (of modification/publication), but m
Thanks Raul; sorry for being unclear about my Wiki markup difficulties.
I thought there was a command on the old J Wiki, something like [[Date]],
to show the current date (of modification/publication), but maybe not. In
any case, as you say, it would be redundant now.
I might follow up in the gen
P.S. beware email line wrap. Here's those last two definitions
rephrased to hopefully avoid line wrap issues:
editurl=: {{
'https://code.jsoftware.com/mediawiki/index.php?action=edit&title=',y
}}
wikisrc=: {{
t=. '-sL' gethttp editurl y
rplc&('<';'<';'&';'&');'textarea' innerhtmls t
}}
I ho
On Sat, Jul 2, 2022 at 5:15 AM Ewart Shaw wrote:
> In my dotage I've forgotten how to edit the J Wiki pages (for example, how
> to produce the editing date). Is there a guide, either within the J Wiki or
> externally? Many thanks.
I'm not quite sure what you're asking for here.
At the bottom of
I've finally updated my basic J utilities page:
https://code.jsoftware.com/wiki/User:Ewart_Shaw/Utils
About half-way down the page is a script to produce examples of the
utilities.
In my dotage I've forgotten how to edit the J Wiki pages (for example, how
to produce the editing date). Is there a g
