Computing desk
< May 17	<< Apr \| May \| Jun >>	May 19 >

Welcome to the Wikipedia Computing Reference Desk Archives
The page you are currently viewing is a transcluded archive page. While you can leave answers for any questions shown below, please ask new questions on one of the current reference desk pages.

May 18

Typesetting math in mediawiki

Hi there, I'm trying to setup mediawiki and am trying to implement math typesetting. But:

wget https://extdist.wmflabs.org/dist/extensions/Math-REL1_23-d0e998f.tar.gz
--2019-05-18 20:53:34--  https://extdist.wmflabs.org/dist/extensions/Math-REL1_23-d0e998f.tar.gz
Resolving extdist.wmflabs.org (extdist.wmflabs.org)... 185.15.56.49
Connecting to extdist.wmflabs.org (extdist.wmflabs.org)|185.15.56.49|:443... connected.
HTTP request sent, awaiting response... 404 Not Found
2019-05-18 20:53:35 ERROR 404: Not Found.

can anyone advise?

Where did you get that URL? If you look at the directory on that server (https://extdist.wmflabs.org/dist/extensions) you will see that there are seven versions of the Math tarball, labeled REL1_23 to REL1_32 (with some gaps). You seem to be trying to download REL1_23, but the filename on the server is different than the one you have. Try https://extdist.wmflabs.org/dist/extensions/Math-REL1_23-5d564a6.tar.gz if you really want the old 1_23 version. CodeTalker (talk) 16:52, 18 May 2019 (UTC)[reply]

(OP) thanks for that, I now have the tarball. I got the URL from following the "how to install mediawiki" page: https://www.mediawiki.org/wiki/Extension:Math/advancedSettings It would be good to let those guys know they have an out-of-date URL there but frankly I do not have the confidence to edit the page. Thanks again, Robinh (talk) 20:20, 18 May 2019 (UTC)[reply]

(OP again). thanks again. But https://www.mediawiki.org/wiki/Extension:Math/advancedSettings says to untar the tarfile, then tells me to compile the sourcecode with "Make". But there is no Makefile, as a banner says. How then to proceed? Robinh (talk) 22:38, 18 May 2019 (UTC)[reply]

cable TV

I'm in an apartment complex where Comcast basic cable is included in the rent. There is a TV in the living room whose HDMI input is connected to the HDMI output of a cable box, so if you want to change channels, you use the cable box remote rather than the TV remote.

Someone here wants to install an additional TV in the bedroom. Will that need a second cable box? Do users normally have to pay Comcast an extra monthly charge to have the second box? The bedroom TV will sometimes be used for listening to music and news shows (i.e. audio-only). Is it normally possible with a TV to turn off the screen (so the room is dark) while leaving the audio turned on? The second TV will have to be purchased, so if that's a special feature to look for, we can do that. Sorry if these are dumb questions but as a computer junkie I'm quite unfamiliar with the TV world. Thanks. 67.164.113.165 (talk) 22:20, 18 May 2019 (UTC)[reply]

Added: what the person really wants for news and music is an FM radio, but for some reason the radio reception in that room is terrible, so installing another TV set is plan B. But it will probably get some use as a TV set as well as an audio device, so it is fine. 67.164.113.165 (talk) 22:22, 18 May 2019 (UTC)[reply]

Since you are talking about a service included with the rent, the apartment manager would be the first person to talk to. They will be familiar with people wanting a second TV and ought to know how it is done there and can tell you about any extra cost. --76.69.46.228 (talk) 04:02, 19 May 2019 (UTC)[reply]

Does the cable box not have an alternative output? If not, then you could use an HDMI splitter. Dbfirs 16:32, 19 May 2019 (UTC)[reply]

Thanks all, and sorry for the slow response. Yes I guess I should talk to the building people, good point 76.*. Dbfirs, hmm, the cable box might have an alternate output, but the bedroom location is maybe 20 feet away, past a hallway. So it sounds like there would be no way to change the channel from the other room? And with an HDMI splitter it sounds like both TV's would have to be on the same channel (maybe that is ok). I'll look into this but will also check out further alternatives, like maybe a fancy FM antenna. 67.164.113.165 (talk) 08:20, 20 May 2019 (UTC)[reply]

Yes, sorry, my solution of a splitter is not what you want. Dbfirs 10:35, 20 May 2019 (UTC)[reply]