Archive for the ‘linux’ Category

How to sync my Visual Studio Code settings using Dropbox?

February 13, 2020 Leave a comment

You set up your VS Code, spend half a day with your settings / extensions / snippets, and you want to use the same settings across all your machines (including Linux and Windows boxes too). How to do it?

First, let’s see where your settings are located.


Location of your settings: ~/.config/Code/User . The important entries are:

  • settings.json
  • keybindings.json
  • snippets/ (directory)

Location of your extensions: ~/.vscode/extensions .


Location of your settings: C:\Users\username\AppData\Roaming\Code\User (on Windows 10). The important entries are the same:

  • settings.json
  • keybindings.json
  • snippets/ (directory)

Location of your extensions: C:\Users\username\.vscode\extensions (on Windows 10).


To share your settings, create a folder in your Dropbox folder and move there the files settings.json, keybindings.json, and the folder snippets/ .

Then go to your local User folder and put symbolic links on the three entries that you just put in Dropbox.

Don’t store the extensions in Dropbox! Sometimes they install binary files that are different under Windows and Linux. Simply install the extensions locally on all your machines.

To get a list of your extensions, run the command “code --list-extensions” in the terminal.

How to create symbolic links under Windows?
Open a terminal window in administrator mode. Then,

# symbolic link on a file:
mklink Link Target

# symbolic link on a directory:
mklink /d Link Target

Dropbox is stuck at syncing

February 11, 2020 Leave a comment

Under Ubuntu 18.04, my Dropbox client stopped working. I have a big Dropbox folder and it synced at least 90% of it. But then, it simply indicated “Syncing…” and nothing happened. I left it like that for a night but next morning it was still “Syncing…”. What da hell?

I stopped the client and launched it from the command-line:

$ cd ~/.dropbox-dist/
$ ./dropboxd &

And luckily it dropped an error message on the screen:

Unable to monitor entire Dropbox folder hierarchy. Please run "echo fs.inotify.max_user_watches=100000 | sudo tee -a /etc/sysctl.conf; sudo sysctl -p" and restart Dropbox to fix the problem.

So that’s it. This Ubuntu box of mine was freshly installed and the default settings were not good for Dropbox. After executing the proposed command, Dropbox started to work normally.

Thus, the command to issue is:

echo fs.inotify.max_user_watches=100000 | sudo tee -a /etc/sysctl.conf; sudo sysctl -p
Categories: ubuntu, linux Tags: , ,

image viewer for rotating images

December 14, 2019 Leave a comment

I needed a simple image viewer with which I could rotate some images quickly. And then, of course, save the images after rotation.

The image viewer Mirage did the job for me. Under Manjaro, I could install it from AUR.

See for a list of alternative image viewers.

Categories: linux Tags: , ,

htop in full details

November 16, 2019 Leave a comment

See for a very detailed explanation of the htop command.

Categories: linux Tags:

tree command

September 7, 2019 Leave a comment

You want to visualize the tree structure of the current directory.

You need the “tree” command. Under Manjaro it was not installed by default, but of course it could be installed easily with the package manager.

$ tree
├── greetings
│   ├──
│   └──

1 directory, 3 files

If you want to ignore a subdirectory, use the “-I” option:

$ tree -I target
├── Cargo.lock
├── Cargo.toml
├── src
│   ├── greetings
│   │   ├──
│   │   └──
│   └──
└── src.old

3 directories, 6 files

Categories: linux Tags: , , ,

get system info

August 19, 2019 Leave a comment

To get system info in a simple and readable way, use neofetch:


As I know, it also exists under Ubuntu.

Categories: linux Tags: ,

Make a GIF of your terminal and insert it in your GitHub README

June 30, 2019 Leave a comment

For your shiny new GitHub project you want to make an animated GIF and insert it in the README file.

I found a blog post about it here. In short:

$ ttyrec demo
# do some stuff
$ ttygif demo
# the result is in tty.gif

Under Manjaro I could install the packages ttyrec and ttygif with yay.

And then you can insert the GIF in your like this:

![GIF Demo](demo/demo.gif)
Categories: linux Tags: , , , ,