[-] redxef@feddit.de 7 points 4 months ago

Cries in 1080 ti

[-] redxef@feddit.de 7 points 4 months ago

What a function does should be self evident. Why it does it might not be.

[-] redxef@feddit.de 7 points 4 months ago

I get a summary once a week of all the updates. I then check the release notes and if nothing needs any changes just run the ansible playbook that updates to those releases. I don't want to get up and first thing in the morning read alert emails because an update failed over night, so i sit down for 10 minutes once a week.

[-] redxef@feddit.de 7 points 4 months ago

Bash, not because its my favourite but because it's nearly ubiquitous. I don't want to have to think about which shell I'm using.

[-] redxef@feddit.de 5 points 5 months ago

Went with lineage since I grew up on cyanogenmod.

[-] redxef@feddit.de 5 points 6 months ago

It was built in the early 12th century.

[-] redxef@feddit.de 7 points 8 months ago
  • Second GPU for a VM
  • SATA controller
  • SAS controller
  • SAS Expander
[-] redxef@feddit.de 7 points 8 months ago

I just switch providers, it's easier to get a good deal than by staying and nagging customer support. Though I currently pay €10,- with my current provider because I also have fibre with them, so I'll probably stay with them for the foreseeable future.

I switched ever couple of years.

[-] redxef@feddit.de 5 points 10 months ago

You could install qemu-user and register it in binfmt in the vm, that lets you run programs for other architectures.

[-] redxef@feddit.de 7 points 1 year ago

So what's stopping you from putting your LaTeX files into a git repo and building them into a pdf when needed?

[-] redxef@feddit.de 7 points 1 year ago* (last edited 1 year ago)

You can place the .xpi file in a special folder. On my linux system that is in /usr/lib/firefox/browser/extensions/. Which would be the system wide folder. There are others which only affect the current user thkugh.

The user folder is $profile_dir/extensions/. To open the profile directory you can type about:profile in you address bar and click on Open Directory besides Root Directory in the default profile section.

[-] redxef@feddit.de 7 points 1 year ago

I just recently updated shutup10 because of another annoyance of windows and was surprised that it didn't solve my problem right away. Even with shutup10 it's barely bearable.

view more: ‹ prev next ›

redxef

joined 2 years ago