mathstodon.xyz is one of the many independent Mastodon servers you can use to participate in the fediverse.
A Mastodon instance for maths people. We have LaTeX rendering in the web interface!

Server stats:

2.8K
active users

#softwareGripe

0 posts0 participants0 posts today

(Edit: it's been pointed out to me that HTML works for both of those. I probably knew that but forgot. It still doesn't do <small>, but I guess eh whatevs.)

original post

I remain annoyed that MastoGlitch Markdown apparently only supports superscripts for connected characters (single words), and also does not appear to support subscripts.

...mainly because I'd like a way to make text smaller -- so I guess I'm actually annoyed that it doesn't support that, or at least let me fake it via the back-door of superscripts.

(Steve Martin as hacker / Ant Man: "Okay, I'm in -- now, let's get small.")

Awoo Spaceshork (@noiob@awoo.space)@woozle@toot.cat you can just <sub>use HTML tags</sub>

(UPDATE: I found a way to make the search work; see end.)

Someone made a bad UI design choice...

Just now I do a search/replace in kate (across multiple files) where the replacement string happens to include \t (it's part of a PHP namespace).

Kate replaces those two characters with a TAB, in all the matching files.

Searching for \t does not find the affected text.

Copying the tab from the document and searching for that does not find it either.

I can't even search for [space]t because it used a TAB character, not spaces, in the output -- even though I have editing configured to always use spaces.

ARRGGGH. There are probably about a HUNDRED FILES affected. Maybe more.

#softwareGripe #kateEditor

Update: apparently I needed to paste the tab into a longer string or something, and then it will find matches.

This is still bad UX, though: the "search" text and the "replace" text shouldn't follow different rules.

I swear, at some point I am going to write a web server which provides a utility that will answer the question "for this URL, show me the exact sequence of events and configuration settings (and where they were defined) which led to returning an error". #softwareGripe

Is it part of Google's evilness that there's literally no way to delete some types of files from your account, in order to make room?

@Harena's Google has become full -- mostly with old photos, but some of them are in "Spaces" and there's no apparent way to delete them (it's not clear if deleting the Space will even do it) -- and deleting from Photos doesn't even seem to free up space, though the UI makes it hard to tell what's going on.

It used to be -- I think? -- that you could access GDrive via WebDAV... or did I imagine that? (Not that this would solve the problem unless GDrive exposes all the other storage as folders... which also isn't clear.)

(Yes, I'm looking at rclone, and it may be able to help -- but it has to go through the API, and the API has "limitations" including what it will let you delete.)

...and yet it constantly happens that while I'm typing, I accidentally brush against the touchpad and suddenly I'm typing somewhere completely different (often obliterating a whole section of text because it interpreted the brush as a select for some reason, even though I didn't actually click).

I have to ask: what does "while typing" even mean, then? Is it, like, the 50 msec during which I'm pressing down each key, and then the tenths or hundredths of a second between keystrokes are counted as "not typing"? Why isn't there a "delay" or "hysteresis" setting? :blobcatupsidedown:

I really, really need a file-browser that will:

  • ask before moving or copying anything in response to a drag/drop
  • keep a log of recent operations, so that if e.g. I accidentally move a folder into another folder, I'll know where to find it so I can move it back

If I open a text article, the page doesn't automatically start reading it for me -- scrolling it downward slowly at the rate it thinks I read. I have to actually scroll through it, once I'm done with what's visible, to see the next bit.

Videos should behave likewise.

Just sayin'.

(This is me complaining about YT's habit of automatically starting a video when I open it in another tab for later viewing, in case that's not clear. DON'T PLAY UNTIL I PRESS THE PLAY BUTTON, you blasted bucket of binary bolts and bits!!)

I figured out why a thing was happening, and now I have to do a smol #softwareGripe:

If the user is saving a file somewhere, and opens folders in a tree inside the file-listing window and then selects a folder, the folder into which the file should go is the bloomin' selected folder, ye half-wit excuse fer a GUI!!

Instead, it puts it at the root of the visible tree, ignoring any navigation I've done (unless I double-clicked on a folder to make it the (visible) root.)

I think this is a KDE issue, if "Portal" is KDE's file-saving dialog service. It's not 100% clear because there is no "about" feature on the dialog.

It's really kinda QUITE ANNOYING that...

  • #MediaWiki chose to replace <source> with <syntaxhighlight>...
  • ...and provided no way to invoke it via a more memorable/typeable template.
    • (...because angle-bracket tags parse the template parameter-markup before the markup is replaced with the template arguments, so if I do a template that's <syntaxhighlight lang=php inline>{{{1}}}</syntaxhighlight>, for example, invoking the template always gets you {{{1}}} on the page. ...and there's no alternative {{#syntaxhighlight:...}} syntax, as far as I can tell.)

Seems like there really ought to be a way to invoke any XML-style tag in a way that means "parse this after template argument replacement, please".

MediaWikiExtension:SyntaxHighlight - MediaWiki

(update: one of the "alternatives" does the cascading menus -- but I still don't understand why anyone would want to have them condensed by default. If you don't want them condensed, then don't make submenus.)

original post

...wait... so, if you edit your app menu in #KDE to put multimedia apps in separate folders (audio, video, players) to make them easier to find instead of having them all in one large folder, KDE still shows them all as one large folder?

The heq. 💢

Somehow, I feel like I shouldn't have to spend hours adding debugging code in order to figure out that the reason a site isn't loading is because it's unable to create a file because the disk-quota has been exceeded.

If it had even told me that it was having trouble creating a file, that would have been helpful -- but no, just blank screen. #phpbb #softwareGripe

Between this and recent events, I've decided that disk-quotas are a daft/capitalistic way of managing a resource that really should be treated more like a commons, and I'm not going to use them on my web servers anymore. It would have saved me many hours if I had never set a quota-limit in the first place.

#softwareGripe

"luckyBackup" lets me select remote locations via sftp, but then refuses to do the command because (it says) the source doesn't exist.

At least it will compose the necessary rsync command for me.

...but, like, #WTF -- how could you write an entire GUI for rsync, one of whose big strengths is doing backups involving remote locations, and not work properly with sftp (while still fully supporting the necessary browsing operations)?

...and why is it including the "--delete-after" flag when I'm doing a backup?

Apparently it hasn't been maintained since 2018, so I can't be too upset. Add this to the list of projects that make me wish I had time to learn how to do C++ GUI stuff in Linux, so I could tweak it (and fork it to Git)...

luckybackup.sourceforge.netluckyBackup - backup and sync utility

...and this -- this , friends -- is why glob expansion is a Bad Idea:

rm *.pdf
-bash: /usr/bin/rm: Argument list too long

Background: For some unknown reason, #Syncthing decided to make 1.9 TB of backups of four documents (2 PDFs, a PNG, and an ODG), none of which were over 10 MB in size.

(According to the settings, Syncthing is only supposed to keep 10 versions of files in that particular share. ...and I don't think we ever made more than 1 or two edits to any of the files in question; certainly not all of them.)

...and as you may or may not know, when you use filename-wildcards ("*" and/or "?") in a command via bash, it automagically generates a list of the matching files and replaces that term with the entire list.

This has always seemed to me like very bad praxis, but here we are.

I'm currently using Caja (GUI file-browser) to delete the files; it's got about an hour left to go.