Skip to content
  • About
  • Contact us
PragmaticLinux

PragmaticLinux

Tutorials for getting things done in Linux

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

Tag: git

Create and store your GitHub personal access token
Desktop

Create and store your GitHub personal access token

PragmaticLinuxby PragmaticLinuxMay 4, 2023May 4, 2023

Do you prefer a basic username and password combo for accessing your GitHub repositories? No problem. Just make sure you clone using the HTTPS URL. …

How to do a GIT export like SVN export
Programming

How to do a GIT export like SVN export

PragmaticLinuxby PragmaticLinuxJuly 22, 2022July 22, 2022

Wouldn’t it be great if GIT supported a command like “svn export”? Developers that made the switch from Subversion to GIT can relate to this …

Show the Git branch in your Bash terminal prompt
Programming

Show the Git branch in your Bash terminal prompt

PragmaticLinuxby PragmaticLinuxJune 10, 2022June 10, 2022

Catch yourself typing git status a lot? Yeah, me too. There’s got to be an easier way, right? Luckily there is: fancy-git. It makes it …

Setup your Git username and email
Programming

Setup your Git username and email

PragmaticLinuxby PragmaticLinuxMay 12, 2022May 12, 2022

A version control system, combined with an issue tracking system, are must-have tools for serious software development. Each time you commit a code change, you …

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.