I feel guilty for taking up >14 MB on that last toot, but the downscaler on my phone didn't seem to have a batch mode. :(

But then again, I think Ad?min is def' gonna be ok with this one ;)

@rl_dane

It's a worthy cause. :)

Also GoToSocial automatically does compression and what not.

@amin

That was the size downloaded (looking at /tmp/tutfile1111111yaddayadda.jpg)

Random aside, why the heck are people still enforcing three-letter extensions? That's so dumb. :P

@ddlyh @rl_dane

Speaking of, the "P" should pronounced as an "F". After all, it stands for "Photographic".

I will die on this hill.

@ddlyh @amin

JFIF is the container format. JPEG is the spec/algorithm.

...as I understand it...

@rl_dane @ddlyh

Strictly speaking, "JPEG" is the name of the group that made the spec. "Joint Photographic Experts Group". ;)

@mirabilos @amin @ddlyh

I'm not a fan of providing retronyms for abbreviations necessitated by crappy operating systems and/or crappy conventions.

It should always be .jpeg, in my book.

@ddlyh @amin @rl_dane nah, 3-char extensions are fine and the usus.

And in some cases even more correct, e.g. in .htm (as the file is not the language).

@mirabilos @ddlyh @rl_dane

And if we’re talking the Unix world the file extensions are basically ignored anyway. It’s only on Windows that it actually matters.

@amin @mirabilos @rl_dane Only on the commandline - in graphical shells, the Unix world uses them for the icons.

It's RISCOS that ignores them pretty much entirely (I think?)...

@ddlyh @amin @mirabilos

I need to play with RiscOS.

I need to get a proper three-button (no wheel) mouse, first.

@rl_dane @ddlyh @mirabilos

…a mouse with no scroll wheel? Why?

@amin @ddlyh @mirabilos

Because #RiscOS uses the second mouse button as the right click.

It's infuriating to try to click the mouse wheel that much.

@mirabilos @amin @ddlyh

But then, instead of having a frustrating button arrangement, I'd have a frustrating pointing device.

Sorry, I know that's sacreligious. 😁

@mirabilos @amin @ddlyh

You sit down at a desktop. At the desktop is a keyboard, a USB mouse, and a USB-connected trackpoint by itself.

All other things being the same, which one do you reach for?

For me, it's the mouse, hands down.

@ddlyh @mirabilos @amin

Sorry, I meant choosing just between the mouse and the trackpad.
I understand that most of us will want to eschew pointing operations as much as possible.

Except for Amin, that uses his keyboard as his mouse like a NERRRRRRD!!! /j