Hello. I have two users in same Manjaro installation (For study and entertainment ). In both I use the pre-installed zsh shell with few aliases set. In one user, today I saw a vertical green line in zsh prompt, e.g. -
But in the other user it is completely normal.
It seems that the question and topic you opened is also for that purpose.
The two screenshots do not seem to be taken with the console at the same percent of zoom in, hence the possible reason why the top one has that slight artifact.
For your entertainment: when you Ctrl++ or Ctrl and mouse scroll into the Konsole (is that what you are using in KDE Plasma, right?) that zoom is not stored anywhere, the Konsole will reset to the default zoom next time you start it. Yakuake will keep that zoom also as long as you don’t restart it.
Looking forward to see on both screenshots the Konsole zoom/size factor for comparison
Sir, with due respect, it is quite hurting when you make comments like that. I am not an advanced linux user, I admit, but I have many things to do rather than just creating posts for entertainment. Hope you understand.
BTW, here are the complete screenshots (Zoom - 35x6, Konsole), leaving no scope of misunderstanding -
Oversensitive and playing the emotional card on a technical forum. Ok, I got it.
Back on topic:
The images you shared show that the fonts used do not match, first one is normal ~ and the second one is bold ~ - the first one has one pixel + on vertical than the second one. All that could create a displacement of those “icons”.
Actually i can’t see any advantage on using Konsole at that zoom size …
With that said, i’ll hand over the issue to whoever wants to deal with.
You were right indeed. Something was wrong with the font in the first place. Thereafter I created a new user account, and downloaded the font from GitHub and installed it, and it was all fine.
I sincerely apologize for all the inconvenience.
Please don’t do that. There is nothing to apologize here. We do sometimes get trapped either in our own ways of doing things or the way we joke around, and not always resonates the same for all. Is perfectly understandable. The most important thing, after all, is to get to the bottom of the issue, and fix it. Glad our discussion helped