config-bash/libs/prompt_command.bash

#!/bin/bash

_prompt_command_add() {
    if [ -n "$1" ] && [[ ":$PROMPT_COMMAND:" != *":$1:"* ]]; then
        PROMPT_COMMAND="${PROMPT_COMMAND:+"$PROMPT_COMMAND;"}$1"
    fi
}

export PROMPT_COMMAND
fix: Fix PROMPT_COMMAND management 2024-01-27 19:04:33 +01:00			`#!/bin/bash`

			`_prompt_command_add() {`
			`if [ -n "$1" ] && [[ ":$PROMPT_COMMAND:" != ":$1:" ]]; then`
fix(libs): Correction de la fonction _prompt_command_add 2024-01-27 19:23:31 +01:00			`PROMPT_COMMAND="${PROMPT_COMMAND:+"$PROMPT_COMMAND;"}$1"`
fix: Fix PROMPT_COMMAND management 2024-01-27 19:04:33 +01:00			`fi`
			`}`

			`export PROMPT_COMMAND`