Skip to content
  • About
  • Contact us
PragmaticLinux

PragmaticLinux

Tutorials for getting things done in Linux

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

Month: June 2020

Check the Raspberry PI CPU temperature
Programming / Server

Check the Raspberry PI CPU temperature

PragmaticLinuxby PragmaticLinuxJune 30, 2020December 12, 20203

Noticed that the Raspberry PI 4 runs a bit hotter than previous models? That is the unfortunate side effect of packing an increased amount of …

PyCharm virtual environment creation
Programming

PyCharm virtual environment creation

PragmaticLinuxby PragmaticLinuxJune 23, 2020September 9, 20204

This article covers step-by-step the PyCharm virtual environment creation. It is written specifically for those Python developers that prefer to have their Python development environment …

Getting started with Double Commander on Linux
Desktop

Getting started with Double Commander on Linux

PragmaticLinuxby PragmaticLinuxJune 16, 2020December 18, 20203

Double Commander is a free and open source dual pane file manager. It is an excellent file manager, especially for those who prefer a consistent …

Generate and copy SSH key to server
Server

Generate and copy SSH key to server

PragmaticLinuxby PragmaticLinuxJune 9, 2020September 9, 20203

Do you manage a remote server with SSH and do you login with a username and password? Then it is about time that you switch …

Setup your Raspberry PI 4 as a headless server
Server

Setup your Raspberry PI 4 as a headless server

PragmaticLinuxby PragmaticLinuxJune 2, 2020December 9, 20207

This tutorial shows you how to setup your Raspberry PI 4 as a headless server. This is a server without a monitor, keyboard and mouse …

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 qt 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
  • How to monitor the serial port in Linux
  • How to mount a shared folder in VirtualBox
  • Install the XFCE desktop on your Raspberry PI
  • How to increase the disk size in a VirtualBox virtual machine
  • How to backup your home directory in Linux
  • Directly boot your Raspberry PI 4 from a USB drive
  • Manually install a DEB package on Debian or Ubuntu

PragmaticLinux

Home
About
Terms of Use
Privacy Policy
Disclaimer
Imprint
Contact us

Categories

  • Desktop
  • Programming
  • Server
Copyright © 2020 - 2025 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.