Windows

How to access Windows user directory in WSL (Windows Subsystem for Linux)

WSL (Windows Subsystem for Linux) mounts C: as /mnt/c inside the WSL system.

Therefore, you can access your Windows user’s home directory using

cd /mnt/c/Users/<username>

In order to find out what the correct <username> is (it’s not always your normal username, especially if you logged in with your Microsoft account or changed your username), run

ls /mnt/c/Users

Note that you will get a permission denied error when trying to access /mnt/c/Users/Default User and /mnt/c/Users/All Users. This is totally normal and usually does not matter.

Original source: Windows blog article

Posted by Uli Köhler in Windows

Which version of Windows 10 am I running? Find out in 15 seconds!

To find out which version & build of Windows 10 you are running, first press Windows key + R.
This will open a command prompt:

In that dialog, enter winver:

Now press Enter (also known as Return). This will open the version information window, for example:

In that window, you can immediately see the version & build you are running, highlighted in red:

In my case that is Version 1809 and Build 17763.475.

Posted by Uli Köhler in Windows

How to fix Linux/Windows dual boot clock shift

Problem:

You have a dual-boot system. Every time you reboot from Linux to Windows, the time is shifted by several hours.

Solution:

On Linux, run

sudo timedatectl set-local-rtc 1

This will configure Linux to store local time in the RTC.

See this StackOverflow post for alternate solutions

Background:

Both Linux and Windows use the hardware clock (RTC – Real time clock) integrated into the computer hardware. However, Windows assumes that the RTC stores local time by default whereas Linux assumes the RTC stores UTC time.

Posted by Uli Köhler in Linux, Windows