e0qdk

I clearly need more sleep. I spent far too long wondering what "rice physicists" do before realizing what the title actually meant. 🤦️

Nice! Glad I could help!

Should be on your install media. If I mount linuxmint-22.1-cinnamon-64bit.iso on my computer right now, I see:

EFI/boot/bootia32.efi
EFI/boot/bootx64.efi
EFI/boot/grubx64.efi

Sorry to link to reddit, but have you already tried the suggestions in this thread from a year ago: https://old.reddit.com/r/pop_os/comments/16tf1vl/something_has_gone_seriously_wrong_import_mok/ ?

Large (1920x9750, ~3MB) screenshot for posterity + those who absolutely do not want to access reddit at all: https://files.catbox.moe/mqsdxh.png

Edit: (Related links)

• https://www.linuxquestions.org/questions/linux-newbie-8/ooooy-efi-boot-mmx64-efi-efi-not-found-4175644607/
• https://forums.linuxmint.com/viewtopic.php?t=308137
• https://unix.stackexchange.com/questions/565615/efi-boot-bootx64-efi-vs-efi-ubuntu-grubx64-efi-vs-boot-grub-x86-64-efi-gru/571173#571173

I'd try the "copy \EFI\BOOT\grubx64.efi to EFI\BOOT\mmx64.efi" solution personally and see what happens. If that works, you might just have an obnoxious BIOS on that computer.

In principle, sure. I'm not aware of an existing out-of-the-box solution that'd do what you want, but it also wouldn't surprise me terribly if someone's cobbled something together to do this before.

If I wanted to make something like this personally (and couldn't find an existing solution), I'd start by doing some research into PBX software like Asterisk, what derivatives and extensions people have made for that, etc. -- being mindful that I'd likely be digging into a deep rabbit hole...

You can run docker containers with multiple volumes. e.g. pass something like -v src1:dst1 -v src2:dst2 as arguments to docker run.

So -- if I understood your question correctly -- yes, you can do that.

Two quick ideas on possible approaches:

1. Static page route. You can just write some Javascript to load the image from a file input in HTML, draw it resized to a canvas (based on an input slider or other input element), then save the canvas to an image. (There might even be simpler approaches if I wasn't stupidly tired right now...) This can be done in a single file (HTML with embedded JS -- and CSS if you want to style it a little) that you toss on any web server anywhere (e.g. Apache, nginx, whatever). Should work for JPEG, PNG, and probably WebP -- maybe other regular image types too. Benefit: data never needs to leave your device.

2. Process on server route. Use Python with a simple web server library (I usually opt for tornado for stuff like this, but flask or cherrypy or similar would probably work). Set up a handler for e.g. an HTTP POST and either pass the image into a library like Pillow to resize it or shell out to ImageMagick as others have suggested. (If you want to do something clever with animated GIFs you could shell out to ffmpeg, but that'd be a fair bit trickier...) The image can be sent back as the response. Be careful about security if you take this route. Probably want some kind of login in front of it, and run it in a VM or some other secure environment -- especially if you're using AI to kludge it together...

Best of luck and let me know if you need any help. Will probably have some time this weekend if you can't get it on your own. Happy hacking!

I would be happy with a FOSS desktop app I can install in linux too

On the command line, you can do this with ImageMagick (e.g. use the command convert once it's installed).

With a (desktop) GUI, there's a bunch of programs. GIMP is probably the most well known and has a ton of capabilities but is a bit complex. I use Kolourpaint as a quick-and-dirty "MS Paint"-like program for very simple tasks where I want a GUI.

If you want a simple web UI I'm sure there is one already, but I don't know one specifically. It wouldn't be too complicated to hack something up if all you need is a quick-and-dirty file input and percentage rescale or something like that. If you don't get a better suggestion and don't know how to make something like that yourself, let me know and I can write an example.

People have already covered most of the tools I typically use, but one I haven't seen listed yet that is sometimes convenient is python3 -m http.server which runs a small web server that shares whatever is in the directory you launched it from. I've used that to download files onto my phone before when I didn't have the right USB cables/adapters handy as well as for getting data out of VMs when I didn't want to bother setting up something more complex.