I followed this article, but I know others who have used the dotbot tool. For example, here is my dotfiles repository.īonus: I’ve cloned this repository locally and created a symlink from ~/.zshrc to ~/dotfiles/.zshrc. GitHub knows to use the dotfiles repository created under your username. Now, we need to create a dotfiles repository - and it needs to be public.
#INSTALL DOTBOT CODE#
One of the things we need to make sure this is setup for is for the Terminal font that I have defined for the Powerlevel10k theme ( MesloLGS NF), but you’d want your other VS Code settings to sync as well.Īfter firing up your Codespace, it should automatically sign you in and sync your settings and extensions, but if not, sign in manually. You could alternatively use a Microsoft account, but I think it makes more sense in this case to use a GitHub account since we will be launching a GitHub Codespace. Even before I started at GitHub, I used my GitHub account to sync my settings. * if you have the proper configuration setup and synced as mentioned in this post ) Setup VS Code Settings Syncīefore we configure Powerlevel10k, we need to make sure we set up VS Code settings sync.
There’s a toggle on the GitHub Codespaces main page that lets you see how the Codespace would look in the browser vs. Yes you read right - right in your browser! A compute instance powers the developer’s environment, allowing for all development through a virtualized VS Code window in the browser! You can optionally connect your Codespace to your local VS Code if desired. What is new, though, is running this directly in your browser! The concept of a development container (aka dev container) is not necessarily new you can use a development container in your local instance of VS Code with Docker ( more info on using dev container here). To further customize the experience, a development container can be created that has all of the prerequisites installed, the proper versions of those prerequisites, and anything else that a team might need in order to compile/test the code. I could use a machine (or iPad!) anywhere in the world, and if I connected to my Codespace, I could start development immediately.īy default, Codespaces is instantiated with a base Ubuntu image that has a few languages and runtimes pre-installed.
Gone are the days where the amount of time spent setting up a new development environment when switching teams or receiving a new laptop is measured in DAYS. I’ll try not to belabor the point, but GitHub Codespaces is a convenient way for teams to build a consistent development environment baseline that everyone can tap into. If you are interested to seeing my local development environment setup, see: My macOS Development Environment: iTerm2, oh-my-zsh, and VS Code What is GitHub Codespaces? I found a post from Burke Holland that got me close, but it didn’t have the Powerlevel10k bit in it. I wanted to have my GitHub Codespace to have the exact same look and feel that my local environment had - including my Zsh plugins and Zsh theme: Powerlevel10k.
One of the things I have started playing around more with now is GitHub Codespaces. I’m still learning a lot of information as well as tips and tricks from other Hubbers. Hello 👋 ! This is my first post since joining the GitHub FastTrack team last week.
0 kommentar(er)
