diff options
author | 2025-05-20 10:33:42 +0200 | |
---|---|---|
committer | 2025-05-20 10:33:42 +0200 | |
commit | 7f08c23e65b01d647d1c07c1a791ad2108c4fc19 (patch) | |
tree | a377b5130be72d613362640ab559dbfefa77a501 | |
parent | a27d84d227097c61c45341035812ce605895f4be (diff) | |
download | vpn-7f08c23e65b01d647d1c07c1a791ad2108c4fc19.tar.gz vpn-7f08c23e65b01d647d1c07c1a791ad2108c4fc19.zip |
Add function to change the title of the terminal
-rwxr-xr-x | vpn | 8 |
1 files changed, 8 insertions, 0 deletions
@@ -31,6 +31,11 @@ # Configurations CONF_DIR=YOUR_CONFIG_DIR +set_terminal_title() +{ + echo -ne "\033]0;$1 VPN\007" +} + set_routes() { local devtun=tun0 @@ -46,3 +51,6 @@ fi set_routes +# Change title of current terminal +set_terminal_title $TYPE + |