Skip to content

How To

Copy Personal Settings

You probably have specific settings you wanna bring to every workspace, but only on your workspaces. supports each developer having their own setup script. The repo has a .brev/ file that gets run on every single workspace, but also runs each developer's personal .brev/ if it exists.

Create a Personal Settings Repo

From the console, go to your profile by clicking "Account" on the top-right. Screenshot

You'll see a section called Personal Settings. This has a git repo that clones into every workspace and runs the .brev/ it contains.

To setup your personal settings:

  1. Click here to fork the personal settings repository (you can make your forked repo private if you like)

  2. Copy the new url, and paste it in the input field under Personal Settings and click the save button.

You're done!

Now every workspace will clone this repo and run your personal settings.

Make it yours!

Clone your forked repo-- or from any workspace, cd into /workspace/user-dotbrev. Commit and push any changes and your next workspace will automatically clone the latest.