minus-squarejasory@programming.devtoLinux@programming.dev•I wish there was a right click install button for deb fileslinkfedilinkarrow-up2·4 days agoIf you have Nautilus as the filemanager, you can write a Nautilus script that does this for you, you just then have to right click and select the script. You can run essentially any script this way, I use it for some preset file conversions. linkfedilink
jasory@programming.dev to Rust@programming.dev · edit-25 months agoRust Port of GNU factor (128-bit)plus-squaregithub.comexternal-linkmessage-square0fedilinkarrow-up119arrow-down10
arrow-up119arrow-down1external-linkRust Port of GNU factor (128-bit)plus-squaregithub.comjasory@programming.dev to Rust@programming.dev · edit-25 months agomessage-square0fedilink
If you have Nautilus as the filemanager, you can write a Nautilus script that does this for you, you just then have to right click and select the script. You can run essentially any script this way, I use it for some preset file conversions.