Terminal

Chester Wyke January 14, 2024 Updated: April 15, 2025 #debian

debian (Series)
MAC Address Change
Set permissions recursively on directory structure
Touch (Set file modified date)
Android Apps on Linux
Blacklist Module
Calender Notifications Popup Disable
CUPS PDF Printer
gping
Hide Mounts
Nautilus
Power
Smartgit
Video Cards
Snapcraft
Acrobat Reader
Audio
Shortcuts (Important)
DNS
Mounting Drives
Setup Network Shares
Cron
Startup
Users and Groups
Paths to remember
Manually Removing Old Kernels
Set Icon for Application
Strange Problems and Fixes
Redirecting stderr
Extensions
Ubuntu Software
Show Seconds on Clock Display
Create Bootable Flash Drive
Compressed Files
services systemd (unit)
SCP
SSH
Updating
Useful commands
Firewall
View Whitespace
OpenVPN
PPP logs
MAN
Terminal
sed
Characters
zsh
Links between files
7z encrypted file
Wayland or x11?
Delete Old Files Automatically

Changing terminal title

Source: https://askubuntu.com/questions/22413/how-to-change-gnome-terminal-title

I moved to zsh from bash and zsh doesn’t show the working directory in prompt (by default, I haven’t done any customizing yet). It keeps it short which is cool but makes it harder to figure out what the terminal is for. So looked up how to change the title and found the above post (listed as source). It works without any issues in zsh but the posts speaks about disabling the changes in the default .bashrc. The line related to PS1.

echo -ne "\033]0;SOME TITLE HERE\007"

Added the following to my .zshrc so I can just type title SOME TITLE HERE

# To make it easy to set the terminal title
title() { printf "\033]0;$*\007"; }