Search found 3 matches

by Bk314159
Tue May 17, 2011 8:31 pm
Forum: Games & Organization
Topic: Updates to games info on the wiki
Replies: 3
Views: 1084

Re: Updates to games info on the wiki

Keep in mind, however, that MediaWiki does NOT fix double-redirects (see http://en.wikipedia.org/wiki/WP:2R); these need to be fixed manually by changing the link after the #REDIRECT. The wiki page Special:DoubleRedirects lists any double-redirects.
by Bk314159
Tue May 17, 2011 6:37 pm
Forum: Games & Organization
Topic: Timers; a crazy idea
Replies: 9
Views: 1704

Re: Timers; a crazy idea

What I would do to solve that problem (killing a program after/at a specified [amount of] time): From a command line, type: echo "pkill program" | at time (Note the use of the pipe to connect the two commands) Note: I use a Linux system; this WILL NOT work on Windows as the needed commands don't exi...
by Bk314159
Tue May 17, 2011 6:23 pm
Forum: Games & Organization
Topic: Updates to games info on the wiki
Replies: 3
Views: 1084

Re: Updates to games info on the wiki

Assuming that this has not been changed in the MediaWiki configuration, moving/renaming a page should leave a redirect behind so that someone linking to "Special Objectives" will be redirected to "Special Considerations".