Re: [qubes-users] Does QubesOs does not source ~/.profile on purpose?

2016-09-20 Thread marc
> the source code of qvm-run is your best documentation of how applications are 
> run without logging in :)
> here is the session that is started in vms. I like the hangman :)
> https://github.com/QubesOS/qubes-gui-agent-linux/blob/master/appvm-scripts/usrbin/qubes-session

Thanks for the link, Connor! Yes, a lot of effort has been put in that hangman 
:D

Looking at it and seeing how beautifully simply it is kept, wouldn't it make 
sense to load from there `/etc/profile` file? (I think usually this file is the 
main responsible of triggering cascade loading of profile files, but correct me 
if I am wrong)

Thanks

-- 
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/799e7396-3993-4a94-acda-84d7f9409d58%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


Re: [qubes-users] Does QubesOs does not source ~/.profile on purpose?

2016-09-20 Thread Connor Page
the source code of qvm-run is your best documentation of how applications are 
run without logging in :)
here is the session that is started in vms. I like the hangman :)
https://github.com/QubesOS/qubes-gui-agent-linux/blob/master/appvm-scripts/usrbin/qubes-session

-- 
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/9cf3e541-d1ea-4e56-99f1-42bb8d5bd181%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


Re: [qubes-users] Does QubesOs does not source ~/.profile on purpose?

2016-09-19 Thread marc
El lunes, 19 de septiembre de 2016, 10:18:42 (UTC+2), Dave Ewart  escribió:

> If you want something common to all your terminals, regardless of VM,
> you can add a file to /etc/profile.d which includes all your common
> content (e.g. aliases)
> 
> I use
> 
> /etc/profile.d/mystuff.sh
> 
> alias h=history ...

Thanks Dave. For me is ok to add what I need in `~/.bashrc`, I was asking just 
out of curiosity. Anyway, I think not loading home profile files breaks with 
the principle of least surprise, but surely supporting it would add some ugly 
hacks in qubes source code.

By the way, can I read somewhere an extension about how `user` user login 
technically happens (or, better said, not happens)?

Thanks

-- 
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/b2828068-e7fd-44a9-a0c9-e739d0979c9d%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


Re: [qubes-users] Does QubesOs does not source ~/.profile on purpose?

2016-09-19 Thread Dave Ewart
-BEGIN PGP SIGNED MESSAGE-
Hash: SHA512

On Sunday, 18.09.2016 at 11:26 -0700, Connor Page wrote:

> technically the user "user" is not logged in so the profile files are
> not sourced. use .bashrc if you want to modify terminal sessions.

If you want something common to all your terminals, regardless of VM,
you can add a file to /etc/profile.d which includes all your common
content (e.g. aliases)

I use

/etc/profile.d/mystuff.sh

alias h=history ...

[I suppose that, by modifying the template in this manner, you might be
making your system more unique and therefore more identifiable if
there's a compromise.  Not an issue for me, but may be a concern for
some.]

Dave.

- -- 
Dave Ewart da...@sungate.co.uk, http://twitter.com/DaveEwart
All email from me is digitally signed, http://www.sungate.co.uk/
GPG key updated Jan 2013 see http://www.sungate.co.uk/gpg
Fingerprint: CF3A 93EF 01E6 16C5 AE7A  1D27 45E1 E473 378B B197
-BEGIN PGP SIGNATURE-
Version: GnuPG v1.4.12 (GNU/Linux)

iQQcBAEBCgAGBQJX359fAAoJEEXh5HM3i7GX5zUf/011o9WGYzxRgw6xX+hf26ds
r10DXjR2yGk1BzSqf5HFlJv8u+nj6T6SFE2CMo+oAKYJ7Qv7sh3h100UDrOKkViO
+YgKtWzH9djWl1kEp8SQQTg2T1gBB8hBG5SK58jTnFJB3C33jrwNp1a5K5SHxtv+
CkIHakp/93SQCht+MRZJiCTxMHIXTczpgJgh/uBiHtvkpjxjsfhkanMtfq7Q73Fv
ofKVI0epGeO98ey7IMhi+9MwjDXRDQ491CLZnvpYCvXpg3X4qIR9JP/qnaKl2vbe
zsadpmHWNf/4Tg68GtvPAzzmhj+qPhC8qHv3N2FmOK0yxnjjdP3JyKaeZamaNlkH
kPxP1qWQanRR6PHxykc77hI7oYn5Uz62wWlSUVoS2zQSMjfWGkrGWqMsDQEgzQby
tdqn/HO0KB6p7I46BJS35wJU0HY3zQQttDIiZEbMEkYcgRwvryuK1jstHavKmx5s
GuwxagZIPTR5F4vakNkYV1dOn+xXgDnL5F0DyUx4JtEoPmMgcloeHRwLuo1KcO5o
F5ctjCjC60UXfFA54TkJ2KyojgkuDiagnA0/Yv/gRSF047bgYQFHxXoiyFCrWeAd
MuY+WJwd789LiKrwOfzo21zUzi165v6yN3pPlhS24RKsNFFBoQTWBGun/rmNR1BB
7k82Ol0IMAgIEZT3v6kP0p9mRSS/dQxwQYrWh+vg8zBhHxI9QCHiEVqgWIMyNPAC
HsXKRNRUcCvpaYeNhhUxGDrTAQWU4/Dm/JlhAWKJoKp3NuJ7RTf6u7e/fIqAlTzg
a4OKZdan0YjKP7j9943TpaJYLiKwZ8jStPGZH3PGLZccPIA03cmGKiKrvqOUerUt
BkOGPMZywm7UAvdRuy9CnTraljeJqkilqOvfomaXdfVHPXL1/gD2XyRowwGbgqJO
jMj93tFpH4raf9dOr77T5I0+6mZkaVHr/UYrvCKxkxASAgZNWG/ZkT3/UP37jnX5
NkP3vZ5TjsZgt0RBs6E6Cwi9rdctgsLipYKMT38pXlFlqI7nkifuKg2FdYbm65bE
PgkjteoXxhC2su20ggx7MH8Mz1q9RErGpumz0LKOJK6P/9sWNa0k45fffGfSN/KM
oybkKH5FoPNk8kOYqVXevgMjPNUbckGFeRNQi9FCn9xBDDlKt8RWylSJD50Kr531
g+V/m0Zce/6Ums2hg7JQ05JuMcevi//NsFeAn5S2kYJWumtYHLQngVHRDRBcCSC8
qV94+UgzidWG94QANrwaZpCWadZQHlidOOooCqZOhC83Q6uKSiDEMfv94eIw+R47
kTCbzvcSlTuLNQj1bflrbWI93auhSIea7iTk/uAW40z61yUJTomOw7/W/eHgg6E=
=N1ZM
-END PGP SIGNATURE-

-- 
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/20160919081840.GF11916%40sungate.co.uk.
For more options, visit https://groups.google.com/d/optout.


[qubes-users] Does QubesOs does not source ~/.profile on purpose?

2016-09-18 Thread Connor Page
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.


[qubes-users] Does QubesOs does not source ~/.profile on purpose?

2016-09-18 Thread marc
Hi,

I recently noticed that neither fedora nor debian virtual machines load 
`~/.profile` file.

In debian this file exists but it is ignored, while in fedora it doesn't exist. 
In fedora does exist a file `~/.bash_profile`, which usually means that this 
one will be loaded by bash instead of `~/.profile`. However, renaming the 
former does not change anything and the later is not loaded anyway.

I doubt that this behavior is inherited from debian and fedora themselves, so 
I'm asking if this is expected QubesOs behavior.

Thanks for your help.

-- 
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/42732882-c217-442c-a920-6140b23d1f33%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.