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 find the IP address of your Raspberry PI
Desktop / Server

How to find the IP address of your Raspberry PI

PragmaticLinuxby PragmaticLinuxAugust 10, 2022August 10, 2022

Planning on running your Raspberry PI as a server on your local network? Excellent idea. They’re cheap, powerful and require little power. The perfect solution …

Single window mode for the Lazarus IDE
Desktop / Programming

Single window mode for the Lazarus IDE

PragmaticLinuxby PragmaticLinuxJuly 18, 2022July 18, 2022

Does the Lazarus IDE look a bit too old fashioned for your liking? Multiple windows all over your desktop. Don’t let this put you off. …

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 …

Posts navigation

1 2 … 6 Next

Tags

apache arduino backup c c# c++ cmake debian django fedora filemanager format git 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
  • Create a bootable USB drive from a Linux ISO image
  • Move the Raspberry PI root file system to a USB drive
  • How to mount a shared folder in VirtualBox
  • How to monitor the serial port 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.