From 185ecc618632eeef5b245f1b3013655810bcde2c Mon Sep 17 00:00:00 2001 From: piccihud Date: Sat, 11 Mar 2023 19:49:51 +0100 Subject: [PATCH] fix TOC --- alias-bash.md | 10 ++++++++++ 1 file changed, 10 insertions(+) diff --git a/alias-bash.md b/alias-bash.md index f7f07a1..5f44ffa 100644 --- a/alias-bash.md +++ b/alias-bash.md @@ -1,4 +1,14 @@ # Alias + + +* [Creazione di alias in Bash](#creazione-di-alias-in-bash) +* [Creare alias permanenti](#creare-alias-permanenti) +* [Creazione di alias Bash con argomenti (funzioni)](#creazione-di-alias-bash-con-argomenti-funzioni) +* [List all Alias](#list-all-alias) +* [Alias che potrebbero tornare utili](#alias-che-potrebbero-tornare-utili) +* [Collegamenti](#collegamenti) + + In un sistema GNU/Linux è possibile personalizzare la shell impostando degli `alias`, cioè delle scorciatoie per i comandi lunghi utilizzati frequentemente. Ad esempio, digitando il comando