How to map Win key to Ctrl on Linux?
How to map the Win key to another Ctrl on Linux?
You can set it in gnome-tweak-tool in Gnome 3 by setting the “Alt/Win key behavior”:
Similar Posts
How to test a file or directory exists in C++?
ByQ AHow to test a path (a file or directory exists) in C++? In Bash, the [ -f ] and [ -d ] tests can test whether a file or a directory exist. What are the corresponding C++ ways for these tests? To test whether a file or dir (a path) exists, you may call stat()…
Setting up Stable Xen Dom0 with Fedora: Xen 3.4.3 with Xenified Linux Kernel 2.6.32.13 in Fedora 12
ByEric MaThis is the latest stable and recommended stable Xen Dom0 solution on Fedora 12. No serious bug found till now and we will fix the bugs by ourselves if some appears. It also works on Fedora 14 as well. It should not be hard to use this solution on other versions of Fedora or other…
How to force iPhone to reboot/restart/reset?
ByEric MaHow can I force iPhone to reboot/restart/reset when it locks up completely and does not response? To force an iPhone to restart: Press and hold the iPhone’s power key and home button together. Holding the two keys for around 10~15 seconds until the screen is turned off. Release the buttons once the screen lights up…
Max array length in OCaml
ByQ AWhat’s the max array length in OCaml. You can check it by: # Sys.max_array_length;; On 64-bit machine: # Sys.max_array_length;; – : int = 18014398509481983 On a 32-bit machne: # Sys.max_array_length;; – : int = 4194303 This is due to the memory representation of arrays. 64 Bit machines are better here. And AFAIK, OCaml was developed…
Tutorial: How to trace a function in OCaml
ByQ ATutorial: How to trace a function in OCaml. Use #trace. For example, to trace function f: # let rec f n = if n = 0 then 1 else f (n – 1) * n;; val f : int -> int = <fun> # #trace f;; f is now traced. # f 4;; f <–…
How to Change Windows User Name on Windows 10 Using Computer Management
ByEric MaThe Windows user name can be changed according to the user’s needs and requirement. The Windows 10 Windows Settings tool interface keeps changing after updates. It is a little hard to find out the tool to do the user name changing. One way to change Windows user name is to do it through the Computer…