Neste exemplo específico, não faça nada: a barra dupla é exatamente equivalente a uma única barra .
Se você realmente quiser remover barras duplas: PATH=${PATH//\/\//\/}
Removendo a primeira entrada: PATH=${PATH#*:}
Removendo a última entrada: PATH=${PATH%:*}
Remover uma entrada do meio é mais complicado, e realmente não vale a pena na linha de comando.
Existem maneiras de obter o valor de uma variável no editor de linha de comando:
- No zsh, você simplesmente executaria
vared PATH
. - No bash, execute
history -s "PATH=$PATH"
para empurrar a atribuição para o histórico de comandos e, em seguida, pressione Up para exibir a última entrada e editá-la. (Zsh:print -s PATH=$PATH
) - No bash, digite
PATH=$PATH
e pressione Ctrl + Meta + E (shell-expand-line
). (Zsh: pressione Ctrl + X * para expandir a palavra no cursor ou antes dele).