Skip Navigation
What is a good Linux Tablet for University
  • 699 €

    Yeah, no thank you.

  • feddit.ch shutting down on 31.03.2024 - Fellow Swiss people, where are you going to go? European instance admins, are you guys all right?
  • The content will not be lost, because each federated instance keeps its own copy.

  • Season 3 finale. They put all the good shit in the trailer
  • Funny. This is when I stopped reading the comics. Haven't watched a single episode of the TV show.

    Years later I learnt he survived the shot.

  • by @dirtyiron
  • I'm curious about that dot shading, looks like print. Is it some kind of halftone stamp?

  • What would you change about your favorite Linux distribution?
  • Arch doesn't have zsh installed by default. In case people wanted this profile - it's in extra grml-zsh-config.

  • What distros have you tried and thought, "Nope, this one's not for me"?
  • Why do you think you need to update packages on Arch every single day?

  • Should I buy a Pixel or a Samsung?
  • All phones have this. What you see as 100% is not absolute maximum capacity.

  • How to change launch option on the steam app?
  • Have you tried to reboot your PC?

  • How to change launch option on the steam app?
  • I recommend using the environment variable. Place a text file, steam.sh for example, into ~/.config/plasma-workspace/env/ containing

    !/bin/sh
    export STEAM_FORCE_DESKTOPUI_SCALING=2.0
    
  • HiDPI woes - only one resolution works
  • Check Settings > Devices > Displays > Scale. There should be 200% scale option.

  • Valve’s next mystery gadget may be imminent
  • except maybe the fact that it uses batteries

    I disagree. Because of swappable batteries my controller is still relevant 7 years and half worn down sticks later.

    If I were to complain, it's about unpleasant hollow sound on trackpads and L1/R1 button clicks.

  • Deleted
    *Permanently Deleted*
  • This is not Xiaomi’s fault, it’s Google’s

    Gestures worked fine on MIUI 11. In the initial A12 update gestures stopped working, but you could at least circumvent it by using 3rd party gestures app like Edge Gestures. Then, a few months later Xiaomi released the update that killed even app gestures. That's when I said fuck it, and installed a custom ROM, where gestures work with any launchers.

    What's your experience with full screen gestures and custom launchers, Pixel owners?

  • Any good alternatives to DejaVu fonts?
  • Inter is free and not related to Google as far as I know.

  • ichbean ichbean @lemm.ee
    Posts 0
    Comments 14