set execution time in powerlevel10k inside .zshrc

This commit is contained in:
2025-04-24 10:41:03 +08:00
parent 8b9e16f27c
commit c157abcb30
2 changed files with 12 additions and 0 deletions

View File

@@ -2,6 +2,16 @@
current_dir=$(dirname "$0")
[[ ! -f "$HOME/.zshenv" ]] || touch "$HOME/.zshenv"
if cat "$HOME/.zshenv" | grep -q "\$TERMINAL_POLYJUICE"; then
if $(dirname "$0") != "$TERMINAL_POLYJUICE"; then
line_number=$(grep -n "\$TERMINAL_POLYJUICE" "$HOME/.zshenv" | cut -d: -f1)
sed -i "${line_number}c\\export TERMINAL_POLYJUICE=$current_dir" "$HOME/.zshenv"
fi
else
echo "export TERMINAL_POLYJUICE=$current_dir" >> "$HOME/.zshenv"
fi
if [ "$1" = "zsh" ]; then
if [ $# -gt 1 ]; then
for i in "${@:2}"; do