Re: [qubes-users] How to install kernel headers in debian 9?

2017-04-19 Thread sackerboerg
Am Mittwoch, 19. April 2017 12:10:20 UTC+2 schrieb Holger Levsen:
> On Wed, Apr 19, 2017 at 11:42:16AM +0200, c...@company.com wrote:
> > I've upgraded my debian-8 template to debian-9 (stretch). Now I want to
> > install vmware player and it asks me where the kernel headers are located.
> > I could not find them in /usr/src and I also can't find them via apt-cache
> > search. Is there a way to install the kernel headers for Linux debian-9
> > 4.8.12-12.pvops.qubes.x86_64?
> 
> did you search with "apt-cache search kernel headers"?
> try "apt-cache search linux headers" instead :)
> 
> 
> -- 
> cheers,
>   Holger

Thanks Holger!
But I only see headers for 4.9.0-2, but I need them for 
4.8.12-12.pvops.qubes.x86_64 which probably is some qubes specific kernel. 
Maybe the qubesOS team has to publish the headers in the qubes repo because 
this special package is not included in normal OS header files...? Any ideas?

Regards,
a guy who loves qubesOS, but is not the best linux tinkerer

-- 
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/c8d13ecf-6c8c-4474-8c27-ab1b62bf2b4c%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.


Re: [qubes-users] say it out (loud) - Qubes OS Stickers

2017-04-19 Thread sackerboerg
Am Dienstag, 18. April 2017 22:39:40 UTC+2 schrieb Darren Fix:
> On Tuesday, April 18, 2017 at 2:20:51 PM UTC-6, Darren Fix wrote:
> > On Tuesday, March 22, 2016 at 4:52:57 AM UTC-6, Brennan Novak wrote:
> > > -BEGIN PGP SIGNED MESSAGE-
> > > Hash: SHA1
> > > 
> > > > > I would like to produce some stickers, nothing fancy, just something 
> > > > > like 
> > > > > the Qubes Logo, followed from the claim from the website "Qubes OS. A 
> > > > > reasonably secure operating system" and the hint to the website 
> > > > > www.qubes-os.org.
> > > > 
> > > > See here: https://twitter.com/QubesOS/status/681435167433580544
> > > > 
> > > > Brennan, do you have that design files somewhere?
> > > 
> > > The sticker seen in this picture
> > > 
> > > https://twitter.com/QubesOS/status/681435167433580544
> > > 
> > > Can be found here:
> > > 
> > > https://github.com/bnvk/Designs/blob/master/QubesOS/propaganda/Qube-White-Outline-Sticker.svg
> > > 
> > > If you're looking to create your own graphic, there are other
> > > resources in my repo
> > > 
> > > https://github.com/bnvk/Designs/
> > > 
> > > Also, relevant is our styleguide I'm developing, see here:
> > > 
> > > https://www.qubes-os.org/doc/style-guide/
> > > https://github.com/bnvk/Designs/blob/master/QubesOS/branding/branding-1-colors-gray.svg
> > > 
> > > I'm happy to give feedback or ideas on your sticker designs if
> > > you would like! Cool you're interested in helping!
> > > 
> > > Cheers,
> > > BNVK
> > > 
> > > -BEGIN PGP SIGNATURE-
> > > Version: GnuPG v1
> > > 
> > > iQIcBAEBAgAGBQJW8SPdAAoJELgSf1EkRiQhNTIP/1ByLnSdjah0gz0+ZNypzOez
> > > 7Frn1tSZCyyLhm4ZjZfZ/ieYtukw92nSaPKh4gSa9EazzoOHxYNQauJkupKralv0
> > > pV9dOTuUa0ZpK7Q9cnXu1GJfXHu8ike9LU0mxDlfOGUExyn4w9p+59NYCqsSkfLP
> > > F3xualAV1nzWOE14MdfYKjXKH9nCNcT2KXTKV56NXKbixhc+wqB0SbowM3EDB76n
> > > qbP+VD/J5gQljVAYv6cqIFYmnXY5YMw/NS97NhIgrQJ2i1Uth/6uq/RAbfvKAssx
> > > Y4Qju1t3GrOBzBlr+0cZGdwXshFXNWoF6ZgQ+oJgUpTJsJEnsKaa89AkhihRpyYI
> > > NVU17xxEN95G2n7dXcsMS6lyG63YCI0MDU2+xwLqVcw8aA4E0Eg2iJlXW0D6GESh
> > > CPi2IjP6V63VMtawsSAm3TvxjcS8GG8fTxa/tAyaiNyEFU8+e7BWW8QPPbYOqPuv
> > > PvAWIhikPC/VOs9LjkwPkJjAeSKl+PJCx3z4m1QerHtccyIEorhotSOWonnRUrks
> > > 2t9hx1/5XXINr5I+Y7DqwuUJtP9V8+R9WMp1IrYdgW7oRnVbqQDs8bfGoR+tSi9G
> > > 41Sf6zWPA6jP+5j1gHCZhDUXHo+Vc5xY76j+oPnSZOtlC+S0ihpUM25eeFZvKNHH
> > > xYmP2MVV5rUo590IZqw+
> > > =Ahd1
> > > -END PGP SIGNATURE-
> > 
> > This is for the Qubes-OS team :
> > 
> > So - have you guys seen sticker mule? They make some high quality stickers 
> > for a lot of tech companies. 
> > 
> > 
> > Customers can use paypal or credit cards to buy stickers. 
> > 
> > 
> > They also have a market place, where you can sell your sticker designs and 
> > the money gets put into a) your paypal account b) regular old business 
> > check c) put into a marketplace account that you can use to buy your own 
> > stickers for your team! You set the mark-up for your stickers. 
> > 
> > The catch is that I think you have to order some of your own stickers to 
> > begin with, in order to populate the marketplace. I'd be willing to help 
> > out with that if needed. This seems like an easy way for the fans (like me) 
> > to get the message out while kicking back a little coin to the awesome 
> > Qubes-OS team.
> > 
> > So please, sell me some stickers!
> > 
> > p.s. I am in now way associated with Sticker Mule, other than I'm thinking 
> > about ordering some stickers from them myself.
> 
> hah! a link would have helped: https://www.stickermule.com/marketplace

+1

I would love to have a few of these!!

-- 
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/fc81066c-5e74-4f5a-a38c-9836051997ee%40googlegroups.com.
For more options, visit https://groups.google.com/d/optout.