# ~/.bash_profile: executed by bash(1) for login shells. # 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/login.defs #umask 022 # include .bashrc if it exists if [ -f ~/.bashrc ]; then . ~/.bashrc fi # set PATH so it includes local bin if it exists if [ -d /usr/local/bin ] ; then PATH=/usr/local/bin:"${PATH}" fi # set PATH so it includes user's private bin if it exists if [ -d ~/bin ] ; then PATH=~/bin:"${PATH}" fi # set PATH so it includes arm toolchain if it exists if [ -d /opt/gcc-arm-none-eabi-4_9-2015q3/bin ] ; then PATH=/opt/gcc-arm-none-eabi-4_9-2015q3/bin:"${PATH}" fi # set PATH so it includes segger J-Link if it exists if [ -d /opt/JLink_Linux_V502f_x86_64 ] ; then PATH=/opt/JLink_Linux_V502f_x86_64:"${PATH}" fi # set PATH so it includes segger J-Link debugger if it exists if [ -d /opt/JLinkDebugger_Linux_V178_i386 ] ; then PATH=/opt/JLinkDebugger_Linux_V178_i386:"${PATH}" fi eval $(keychain --agents ssh,gpg --clear --eval id_rsa github gitea 0x4931D17B50BD6CDB) # start pulseaudio if present if [ -x /usr/bin/pulseaudio ] ; then pulseaudio --start --exit-idle-time=-1 --log-target=syslog fi # mount encfs if both mountpoints exist and not already mounted if [ -f ${HOME}/.mnt_dbcrypt/.encfs6.xml -a -d ${HOME}/dbcrypt ] && ! mountpoint -q ${HOME}/dbcrypt ; then pass encfs/dbcrypt | encfs -S ${HOME}/.mnt_dbcrypt ${HOME}/dbcrypt fi # if this is a login on the first console start X if [ `tty` == "/dev/tty1" ] ; then if [ -x /usr/bin/crux ] then xinit else startx fi fi