0%

My Configurations Under Ubuntu

I note down here my configurations in order to quick set up my environment on a new machine.

shell

powerline

💡root is another user, need extra configurations.

1.install it.

1
pip install --user git+git://github.com/powerline/powerline

2.run pip show powerline-status to show where the package is.

3.add its launch script to ~/.bashrc.

💡 e.g. the location of the script on my computer is ~/.local/lib/python3.7/site-packages/powerline/bindings/bash/powerline.sh

vim

goto my vimrc.

OneDrive

there are a few onedrive tools on Linux platform, but most of them, for example onedrive-d just support personal onedrive account, onedrive 365 as well as onedrive business are not supported. Someone recommended GoodSync, unfortunately I didn't figure out how on earth do I use it 😢. Good news is I find a thing called onedrive (what a confusing name), which support personal account and onedrive 365 and even onedrive business!

goto abraunegg/onedrive for instructions.

the guide is clear enough! 👍

workspace

isolated workspaces

🔗related question on Stack Exchange

1.install dconf-editor

1
sudo apt install dconf-editor

2.open the app and Navigate to org > gnome > shell > extensions > dash-to-dock and check isolate-workspaces

感谢您的认可!