>
>
> 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

Reply via email to