• 2 Posts
  • 111 Comments
Joined 2 years ago
cake
Cake day: June 5th, 2023

help-circle
  • Oh come on, I can recognize my common interest with other humans without mediating this through overly abstracted “values” and then arguing from that. Plus, you know, little kids and even many animals show empathy and they’re not doing any moral reasoning or have any concept of a moral value. It seems to me that, more often than not, moral reasoning is employed to rationalize away empathy.

    It would also be nice if you could not imply that I’m a threat to humanity. My comment about shooting philosophers was clearly a joke as should be obvious from the rest of the comment, whereas yours strikes me as deadly serious.

    Also you didn’t actually argue my points about how this benefits existing authorities, nor about how this incentivizes motivated reasoning.


  • Yeah that’s not what I was thinking about.

    The way moral reasoning works is this: You have something you want, be it is your material interest or it is due to your belief or feelings. If this is to become a norm or law or widely adopted in some way, you’re not supposed to argue that way though. You have to do a whole derivation down from Universal Values™, meaning you’re now not arguing from your own POV, but from some common good, and, in practice, especially the interest of the ruling order that you want to adopt your position. This means you’re already inclined to compromise your position before you’ve even voiced it.

    This is why ruling institutions encourage moral reasoning, they teach it in school, on TV etc. It makes you argue from their POV–that of the nation, the state, the existing order–instead of your own.

    It also means that your moral argument is sophistry–motivated reasoning–if you have constructed it for a position you hold for a completely different reason, which is not conducive to clear thinking.





  • Seems like a good and useful workflow for sure. Don’t know if something equivalent exists, maybe it doesn’t.

    I’d personally use find for this, but it is a command line tool, and while I have memorized some of the more common options (directories-only would be -type d for example), I’d have to look at the manpage for more advances options. It’s not hard exactly but it’s not easy-to-use GUI software for sure.


  • I guess because that adds extra complexity that isn’t inherently necessary and can be added on top, plus it eats resources. You’ll spend the cycles either way basically, at least this way it’s optional. I don’t bother with a file indexer because with SSDs nowadays, find is pretty fast, and how often do you search for files anyway?

    Linux has APIs to get notified on file system events (fanotify, inotify) which would allow such a service to update itself whenever files are created/delete immediately, but locate is way older than that, from the 80s. I think popular DEs have something like that.

    There’s also ways to search for specific files that come with packages (e.g. dpkg -S), because the package manager already maintains an index of files that were installed by it, so you can use that for most stuff outside /home.



  • That “U=xxx” is the IMAP UID, which is a unique identifier that message has in the IMAP mailbox. mbsync adds that to the filename just so it can track which (local) message corresponds to what message on the IMAP server.

    When moving a message from one mailbox (folder) to another, this UID changes, because it’s per-mailbox only. If you read the manpage for mbsync, it says explicitly that the MUA should strip the U=xxx when moving between maildirs, so the behavior of aerc here is correct.

    In order to get to the bottom of this, you’d probably have to enable the debug output of mbsync and look at exactly what IMAP commands it sends to Gmail, then decipher the relevant command(s) by looking at the RFC, and then decide whether it’s Gmail or mbsync’s fault this gets lost. You could also contact the mbsync devs with this I guess.

    I found someone complaining about the same issue, without getting a reply, 7 years ago, except that person was using mutt: https://stackoverflow.com/questions/52218254/isync-mbsync-on-gmail-marks-mail-as-new-after-move-to-another-folder

    That doesn’t help you obviously but from this we might guess it’s probably not aerc’s fault.







  • First, check if you can login, with your new user, on the Linux console (i.e. Ctrl-Alt-F1 through F7). If you can, the username change probably went through correctly. Report back if you cannot login via console or you get warnings/errors.

    Your login session does automatically terminate if the session process for Cinnamon exits, booting you back to GDM (or whatever login manager you have). So probably the Cinnamon session process, started by GDM, craps out for some reason. The reason is probably, I suspect, that it cannot access or cannot find some file it wants to open.

    Check ~/.xsession-errors, it might tell you what went wrong.

    Also check the permissions of your home folder, the files in your home folder, and check if you correctly set up the symbolic link from /home/olduser to /home/newuser as the guide suggests.





  • I recommend anyone to do a backup (I haven’t always and it bit me). However, if you create separate /home partition you can keep that between re-installs, even re-installs of different distros. And you can also share the same home partition between multiple OSs you might have installed at the same time.

    Sharing /home between distros can cause issues though: If one distro’s $SOFTWARE is newer that the other distro’s, they will still share the same dotfile configuration, and while most software is designed to deal with older configuration/database/etc files, older software many times cannot deal with newer files.


  • man switch_root

    switch_root moves already mounted /proc, /dev, /sys and /run to newroot and makes newroot the new root filesystem and starts init process.

    WARNING: switch_root removes recursively all files and directories on the current root filesystem.

    If you look at the source code, it uses mount(2) with the MS_MOVE flag to move the /proc, /dev, /sys, /run to the new root, then deletes all the files on the old root fs recursively, then MS_MOVE-mounts the new root over the old one. As the comment in the source code points out:

    /* Don’t try to unmount the old “/”, there’s no way to do it. */

    This is presumably why it deletes the files on the initrd, because it is a ram disk and the files would be eating up memory if left there.


  • On Linux/Unix (not sure about other platforms), you can configure a “Compose key” (people usually use something like the Menu key, or the right Alt key).

    You can then hit that Compose key, followed by multiple other keys and they will be combined into a character, usually roughly relating to the shapes.

    • Compose L / gives Ł
    • Compose + - gives ±
    • Compose 1 2 gives ½
    • Compose C = gives €
    • Compose - - - gives —
    • Compose c s gives š

    etc. There’s a big table somewhere where all these are defined.

    On android keyboards you can hold down the letter and get a list of “alternative” letters (seems to depend on the keyboard and keyboard layout configured what you get), you can also configure multiple languages/keyboards and then switch between them, by holding the spacebar.