R. L. Dane 
Ladies and gentlenerds, it is with profound pleasure that I introduce to you,
Mira Delenn Furlan Dane
I don't know how but she already loves me.
It's truly amazing.
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 ;)
Amin Hollon 🏳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
DHeadshot's Alt
mirabilosI'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.
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?)...
I need to play with RiscOS.
I need to get a proper three-button (no wheel) mouse, first.
…a mouse with no scroll wheel? Why?
Because #RiscOS uses the second mouse button as the right click.
It's infuriating to try to click the mouse wheel that much.
But then, instead of having a frustrating button arrangement, I'd have a frustrating pointing device.
Sorry, I know that's sacreligious. 😁
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.
@rl_dane
Depends on the interface. All things equal, a keyboard is more efficient than a mouse/touchpad because it only has a single point of movement. Mouse and touchpad you move them and they move the mouse pointer: the disconnect makes it less efficient. Touchscreen is as efficient as keyboard but most of our touchscreen UIs are rubbish, so generally I'll choose the keyboard thanks...
@mirabilos @amin
Depends on the interface. All things equal, a keyboard is more efficient than a mouse/touchpad because it only has a single point of movement. Mouse and touchpad you move them and they move the mouse pointer: the disconnect makes it less efficient. Touchscreen is as efficient as keyboard but most of our touchscreen UIs are rubbish, so generally I'll choose the keyboard thanks...
@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
I use super+t to disable the trackpoint when I'm not using it (and super+shift+t for the trackpad if the device has both, like my x260), and Xbanish to remove the mouse cursor when I'm typing.
So 90% of the time, I have neither a pointing device enabled, nor a cursor.
(Not counting my work machine -- that's a very different workflow)
Ah, I do use keyboard shortcuts for selection, copying and pasting, but that only works with foot terminal (Wayland) right now
I remap my keyboard so I can do the quick pointer move with my keyboard. :)
Haha fair. Yeah my remappings are firmware-level.
@rl_dane
I use Ctrl+Ins and Shift+Ins, but that still requires mouse selection.
Happily for other things, in TinyCore (a distro I use a lot), Shift+Up and Shift+Down scroll the terminal window, so I'm not required to pipe coloured commands into a raw less instance for that!
@mirabilos @amin
Is that the one with the cute window manager with the vertical titlebars, or am I thinking of DSL?
@rl_dane
One of the window managers it offers has that, but I use one with a horizontal title-bar. Does have extra buttons for maximise though (maximise horizontal and maximise vertical).
@mirabilos @amin
One of the window managers it offers has that, but I use one with a horizontal title-bar. Does have extra buttons for maximise though (maximise horizontal and maximise vertical).
@mirabilos @amin
