Show Posts

This section allows you to view all posts made by this member. Note that you can only see posts made in areas you currently have access to.


Messages - Johan

Pages: [1] 2 3 ... 13
1
Although I can't wait for Peppermint 11 to come out, I don't mind the waiting because Pepp 10 will work till 2023 ;)

2
Development / Re: Peppermint 11 - What we would like to see..
« on: July 05, 2020, 01:12:15 am »
Default Pepp 10 Respin Arc-red-dark theme is perfect, for me ;) Light themes I don't care about because I don't use them, but he's right the fonts are harder to see.

3
General Discussion / Re: Hi from a new member
« on: June 18, 2020, 11:47:04 am »
Awesome and wellcome  stemakeli ;) 8)

4
General Discussion / Re: Peppermint 11 question/discussion etc.
« on: June 16, 2020, 09:29:07 am »
@rayzer: But then you can't use the superkey to open the menu. There is an option to enable it though if I remember correctly :-\

5
General Discussion / Re: Peppermint 11 question/discussion etc.
« on: June 16, 2020, 07:07:41 am »
Different users, different preferences ;) I like the current theming and Papirus icons (I use the Papirus dark instead of the Pepirus wich is more modern, but with red instead of blue color) I don't care much for the startmenu. I hardly ever use it.

6
I don't care about snaps. As long as Thunderbird and Firefox work okay, I'm happy ;)

7
General Discussion / Re: OnThisDay ... My Peppermint Anniversay...
« on: June 12, 2020, 05:20:19 am »
Happy Anniversary man!  :)

Well, I haven't used Pepp OS that long. I stumbled upon it three years ago, some time in 2017. Quite accidentally. Was looking for some Xubuntu and Linux Mint alternative. It was Pepp OS 8, I think. Tried it via USB flash drive. It was flying, literally.

And never looked back ever since. My main machine has been running Peppermint since then. It's Pepp 10 now, of course. Pepp 9 was longest serving on that machine. It is really rock solid.

My Linux journey started in 2017 with Peppermint 8 too and been using it ever since. Currently Pepp 10 Respin.

@spence: congrats 8) ;)

8
Announcements / Re: Nice recent PeppermintOS mention in the press!
« on: June 12, 2020, 05:16:30 am »
According to runwiththedolphin Peppermint has a new lead dev. Is this true and is he also the maintainer?

9
Announcements / Re: New Peppermint webhost in progress
« on: June 09, 2020, 08:06:10 am »
Pepp favicon doesn't always show on tab. I like the slightly darker font, but it might be to big for some. But one can always ctrl minus ;)

10
GNU/Linux Discussion / Re: square brackets
« on: June 05, 2020, 12:39:52 pm »
It's okay Slim thanks ;)

11
General Discussion / Re: Peppermint 11 question/discussion etc.
« on: June 03, 2020, 04:59:12 am »
Forcing things I don't like. And a backdoor is a no go even more for me ;)

12
Do you have a screenshot to show us how they look after this hack?

13
GNU/Linux Discussion / Re: square brackets
« on: June 02, 2020, 04:17:03 am »
I don't know about your machine but on mine, the square brackets indicate windows that have been minimized.  To get rid of the brackets, just restore the window.
hth.
Bruce

Thanks. Knew that too ;) But I don't want them to show at all. Is that possible?

14
General Discussion / Re: Greetings from a new user
« on: May 28, 2020, 05:40:26 am »
Wellcome @sotnas78 8)

15
Announcements / Re: Forum Upgraded
« on: May 28, 2020, 05:31:50 am »
It's indeed a lot faster 8) About time too because it was sloooooooow :P ;)

Pages: [1] 2 3 ... 13