> > > The first of them will be added but not the other if I > . .profile >
Try to debug it. First of all, run this from the command line: [ -d "$HOME/AppImages" ] ; echo $? result should be "0". If not, then there must be some problem with this directory (check name, case, etc). Then try set -v . .profile and check output carefully