2024-07-25 07:55:54 +02:00
|
|
|
# ~/.profile: executed by the command interpreter for login shells.
|
|
|
|
# This file is not read by bash(1), if ~/.bash_profile or ~/.bash_login
|
|
|
|
# exists.
|
|
|
|
# see /usr/share/doc/bash/examples/startup-files for examples.
|
|
|
|
# the files are located in the bash-doc package.
|
|
|
|
|
|
|
|
# the default umask is set in /etc/profile; for setting the umask
|
|
|
|
# for ssh logins, install and configure the libpam-umask package.
|
|
|
|
#umask 022
|
|
|
|
|
|
|
|
# if running bash
|
|
|
|
if [ -n "$BASH_VERSION" ]; then
|
|
|
|
|
|
|
|
# include .bashrc if it exists
|
|
|
|
if [ -f "$HOME/.bashrc" ]; then
|
|
|
|
. "$HOME/.bashrc"
|
|
|
|
fi
|
|
|
|
|
|
|
|
# include .bash_aliases if it exists
|
|
|
|
if [ -f ~/.bash_aliases ]; then
|
|
|
|
. ~/.bash_aliases
|
|
|
|
fi
|
|
|
|
fi
|
|
|
|
|
|
|
|
# set PATH so it includes user's private bin if it exists
|
|
|
|
if [ -d "$HOME/bin" ] ; then
|
|
|
|
PATH="$HOME/bin:$PATH"
|
|
|
|
fi
|
|
|
|
|
|
|
|
# set PATH so it includes user's private bin if it exists
|
|
|
|
if [ -d "$HOME/.local/bin" ] ; then
|
|
|
|
PATH="$HOME/.local/bin:$PATH"
|
|
|
|
fi
|
|
|
|
. "$HOME/.cargo/env"
|
2024-08-19 06:16:50 +02:00
|
|
|
|
|
|
|
|
|
|
|
# Added by Toolbox App
|
|
|
|
export PATH="$PATH:/home/zenn/.local/share/JetBrains/Toolbox/scripts"
|
|
|
|
|
2024-08-27 07:48:58 +02:00
|
|
|
|
|
|
|
[ -f "/home/zenn/.ghcup/env" ] && . "/home/zenn/.ghcup/env" # ghcup-env
|