Skip to content
  • About
  • Contact us
PragmaticLinux

PragmaticLinux

Tutorials for getting things done in Linux

  • Home
  • Desktop
  • Server
  • Programming
  • Home
  • Desktop
  • Server
  • Programming

Category: Desktop

Articles related to using Linux as your Desktop PC

How to change the font of the Gnome top bar
Desktop

How to change the font of the Gnome top bar

PragmaticLinuxby PragmaticLinuxMay 2, 2022May 2, 2022

Enjoying the Gnome desktop, including the default Gnome Adwaita theme? Just wish the font on the Gnome panel was just a tad smaller? Then you …

Install the VirtualBox guest additions in Ubuntu 22.04
Desktop

Install the VirtualBox guest additions in Ubuntu 22.04

PragmaticLinuxby PragmaticLinuxApril 25, 2022April 25, 2022

Bummed that you can’t change the screen resolution in your freshly installed Ubuntu virtual machine? An easy fix exists for this: You just need to …

Install Python applications with pipx
Desktop

Install Python applications with pipx

PragmaticLinuxby PragmaticLinuxMarch 17, 2022March 19, 2022

The new kid in town in Python land is pipx. With pipx, you install and run Python applications in a convenient way. Under the hood, …

Install software from the Debian Backports repository
Desktop / Server

Install software from the Debian Backports repository

PragmaticLinuxby PragmaticLinuxMarch 12, 2022March 12, 2022

Did you ever run into a situation where Debian Stable was just a tad too stable for you? You needed a newer version of a …

Install Xubuntu on a Raspberry PI
Desktop

Install Xubuntu on a Raspberry PI

PragmaticLinuxby PragmaticLinuxFebruary 14, 2022February 14, 2022

Interested in running Xubuntu on your Raspberry PI, but you can’t find an installation image for it? That’s because the Xubuntu team doesn’t offer it …

Directly boot your Raspberry PI 4 from a USB drive
Desktop / Server

Directly boot your Raspberry PI 4 from a USB drive

PragmaticLinuxby PragmaticLinuxDecember 21, 2021December 21, 2021

Did you know that you can boot your Raspberry PI 4 directly from a USB drive? You get better disk I/O speed, you no longer …

How to monitor the serial port in Linux
Desktop

How to monitor the serial port in Linux

PragmaticLinuxby PragmaticLinuxNovember 3, 2021January 21, 2022

Although modern PCs no longer come with a physical serial port, plenty of devices still require RS232 serial communication to interact with them. With the …

How to create a virtual CAN interface on Linux
Desktop

How to create a virtual CAN interface on Linux

PragmaticLinuxby PragmaticLinuxOctober 22, 2021November 28, 2021

A virtual CAN interface is the perfect solution when developing CAN nodes, without needing an actual physical CAN bus. Think of a virtual CAN interface …

Posts navigation

1 2 … 6 Next

Tags

apache arduino backup c c# c++ cmake debian django filemanager format gnome iso kde lazarus linode mariadb markdown mount nano opensuse packaging pandoc pascal php python raspberrypi security serialport shell socketcan ssh systemd tarball ubuntu virtualbox vps wxwidgets xfce

Newsletter

Enter your email address to subscribe to this blog and receive notifications of new posts by email.

Popular posts

  • How to copy files via SSH
  • Check the Raspberry PI CPU temperature
  • How to increase the disk size in a VirtualBox virtual machine
  • Install the XFCE desktop on your Raspberry PI
  • Move the Raspberry PI root file system to a USB drive
  • Create a bootable USB drive from a Linux ISO image
  • Install a minimal KDE on Debian 10 “buster”
  • How to clone your Raspberry PI SD card in Linux

PragmaticLinux

Home
About
Terms of Use
Privacy Policy
Disclaimer
Imprint
Contact us

Categories

  • Desktop
  • Programming
  • Server
Copyright © 2020 - 2022 by PragmaticLinux.
The registered trademark Linux® is used pursuant to a sublicense from the Linux Foundation, the exclusive licensee of Linus Torvalds, owner of the mark on a world­wide basis.
Powered by WordPress and Bam.