technically the user "user" is not logged in so the profile files are not sourced. use .bashrc if you want to modify terminal sessions.
-- You received this message because you are subscribed to the Google Groups "qubes-users" group. To unsubscribe from this group and stop receiving emails from it, send an email to qubes-users+unsubscr...@googlegroups.com. To post to this group, send email to qubes-users@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/qubes-users/6bf2d450-a8e6-4aac-8f05-6d61c38b7575%40googlegroups.com. For more options, visit https://groups.google.com/d/optout.