search

imagej / imagej.github.io

The ImageJ wiki
https://imagej.net
Other
25 stars 118 forks source link

Use shorter titles for some pages #26

Closed ctrueden closed 3 years ago

ctrueden commented 4 years ago

Some pages have a short-name redirect to a full-name page. For example, Batch redirects to Batch_Processing. But this was an artifact of the fact that MediaWiki conflates page title with URL. Now that we are using Jekyll, we can have a short URL with a full (non-matching) page title. And we should. The question is: for which pages?

This issue is an attempt to document easy places to prefer the short URL with long page title. I ran the following command:

git grep 'REDIRECT *\[*' | sed 's/^\([^:]*\).md:.*REDIRECT\ \[*\([^]]*\)\].*/\1 % \2/' | grep '^[^ _%]* % [^ _]*[ _]' | sed 's/\\//g' | sed 's/ % / <- /'

This searches through all the REDIRECT and #REDIRECT statements of the stub pages, extracts the string indicating redirect destination, then filters down to only redirects which have a single-word source going to a multi-word destination.

Here is the list:

Looking through it, there are some good suggestions, and some bad ones. We ultimately still need to make a manual judgment for each page, whether to keep the longer title or the shorter one. But hopefully this is a good start—it's 132 entries instead of 642!

ctrueden commented 4 years ago
ctrueden commented 3 years ago

I'm happy with the titles as they are, now. We can adjust things on a page-by-page basis, as the opportunity arises.