<div dir="ltr"><div>Hi Duncan,</div><div><br></div><div>Thanks for the tips, i suspect that script will come in useful when I dock to an external monitor.</div><div><br></div><div>I've mostly worked round the issues, some apps (Hiri/Spotify) have inbuilt scaling settings that solve then problem. Gnome apps are 100% working as standard, as are Firefox, Java apps. I just have a couple of proprietary apps that I need for work causing me issues. VMWare Horizon Client for instance, which is almost unusable.</div><div><br></div><div>Overall, it's not been a bad experience, and found it much smoother with Ubuntu compared to Fedora Core and OpenSUSE.</div><div><br></div><div>Daryl.</div></div><br><div class="gmail_quote"><div dir="ltr">On Tue, 14 Aug 2018 at 11:27, Duncan via Nottingham <<a href="mailto:nottingham@mailman.lug.org.uk">nottingham@mailman.lug.org.uk</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">On 11/08/18 22:41, Daryl via Nottingham wrote:<br>
> I have a new Dell XPS 15 laptop (i7/32GB/HiDPI screen) which came pre-installed with Windows. I had to utterly blast the drive and re-install Win 10 as the BIOS was configured in a way as to make Linux installation impossible (RAID versus ACPI for instance).<br>
> <br>
> I then managed to achieve a happy(ish) Ubuntu/Win 10 dual boot until today when the Wi-Fi card has utterly disappeared from Ubuntu. Slightly stumped, I can use a Wi-Fi dongle to connect now but not ideal.<br>
> <br>
> I had no real choice over the laptop incidentally, but icky BIOS/NVIDIA (with awkward fall back to Intel graphics to save power) and many apps not supporting HiDPI well has made it a slightly annoying set up so far!<br>
> <br>
<br>
If it helps, you can find the bash script I use to scale Gnome3 and Firefox between<br>
HD monitor and HiDPI monitor screen here[1]<br>
<br>
It won't harm Firefox if it is running when you run the script but the new setting<br>
won't take.<br>
<br>
You can change the gnome settings in gnome-tweak-tool -- but gnome-tweak-tool is<br>
broken in my Debian atm and I find a one shot command line tool quicker and more<br>
convenient.<br>
<br>
[1] <a href="https://gitlab.com/DomenLasOpenSource/bash-common/blob/master/bin/scale-gnome-for-screen" rel="noreferrer" target="_blank">https://gitlab.com/DomenLasOpenSource/bash-common/blob/master/bin/scale-gnome-for-screen</a><br>
<br>
HTH<br>
Duncan<br>
<br>
> I shall persist as always and I'm sure will end up in Linux nirvana :-)<br>
> <br>
> Daryl.<br>
> <br>
> <br>
<br>
<br>
-- <br>
Nottingham mailing list<br>
<a href="mailto:Nottingham@mailman.lug.org.uk" target="_blank">Nottingham@mailman.lug.org.uk</a><br>
<a href="https://mailman.lug.org.uk/mailman/listinfo/nottingham" rel="noreferrer" target="_blank">https://mailman.lug.org.uk/mailman/listinfo/nottingham</a></blockquote></div>