This content originally appeared on DEV Community and was authored by Jonathan Carter
GitHub recently released github.dev, which if you haven't heard, allows you to press .
from any repo, in order to open it within Visual Studio Code, running entirely in your browser (?). On its own, this experience represents a huge step forward, for how you can view and edit code that's stored in GitHub.
However, what might not be immediately obvious, is that github.dev enables something even more powerful: the ability to customize and create entirely new GitHub-native workflows. Instead of relying on browser extensions to augment github.com, you can now take advantage of the editor you already love, and it's prolific ecosystem, to make GitHub even more fun. To illustrate what this means, let's take a look at 10 examples of what you can already do with it today ?
1. ? Personalizations
Developers love to personalize their editor, in order to make it more efficient, ergonomic, and visually appealing. Since github.dev is based on VS Code, you can customize your keybindings, color theme, file icons, snippets, and more. Even cooler, you can enable settings sync and roam your personalizations between VS Code, github.dev and Codespaces. That way, no matter where you're editing code, you'll immediately feel at home ?
Philipp Kief@philippkiefJust published v4.10.0 of the Material Icon Theme which can now be used with github.dev ?21:32 PM - 24 Aug 2021
2. ✉️ Sharing Deep Links
In addition to pressing .
from a repo page, you can also press .
when viewing a specific file in GitHub.com. Furthermore, if you select some text in the currently opened file, and press .
, then when VS Code is opened, both the file and text selection will be maintained. You can then copy the URL in your browser, and send that to others, in order to share that exact same context ?
My current favorite thing is going into a file on github.com, selecting a few lines of code by clicking on the line numbers, and then hitting ".". That text is then highlighted in github.dev…
Incredibly delightful and works exactly how I would expect.15:55 PM - 25 Aug 2021
Demo: Click this link to see how the GitDoc extension subscribes to repo events in VS Code.
3. ✅ Pull Request Reviews
In addition to hitting .
on a repo or file on github.com, you can also press it when viewing a pull request. This enables you to review the PR using a rich, multi-file view, that includes the ability to view & reply to comments, suggest changes, and even approve/merge the PR directly from the editor.
How epic is this? @github codespaces (press `.` in any file) shows PR review comments in-line... I'm using this so much already because it's faster than checking out the reviewed branch and loading the local environment.08:05 AM - 19 Aug 2021
Demo: Click this link to review the PR for adding a regex parse to the CodeTour extension.
4. ? Editing Images + Diagrams
Beyond editing text files, VS Code also allows extensions to contribute custom editors, which enables you to edit any type of asset in your projects. For example, if you install the Drawio extension, you can view and edit rich SVG-based diagrams.
Additionally, if you install the Luna Paint extension you can edit images (PNG, JPG, etc.).
Daniel Imms@tyriarThe new release of Luna Paint for @code is out! This includes some minor features as well as initial support github.dev:
1️⃣ Go to your github.com repo
2️⃣ Press .
3️⃣ Start editing
Release notes: github.com/lunapaint/vsco…
Install: marketplace.visualstudio.com/items?itemName…13:04 PM - 26 Aug 2021
In each case, your edits are automatically saved, and you can commit/push them back to your GitHub repo via the Source Control
tab. Even cooler, you can share a deep link for an image/diagram with others, and as long as they install neccessary extension(s), they'll be able to see/fork the exact same image. This experience effectively makes github.dev a hackable "canvas" for any file type that is stored in GitHub ?
5. ? Codebase Walkthroughs
Learning a new codebase is hard, since it's typically unclear where to start, or how various files/folders relate to each other. With github.dev, you can install the CodeTour extension, which allows you to create and playback guided walkthroughs of a codebase. Since github.dev is available entirely in the browser, this makes it easy for anyone on the team, or in your community, to get up to speed quickly, without needing to install anything locally.
?️ When I initially shipped CodeTour, the first thing folks asked for was a web player. As of yesterday, you can now go to any GitHub repo w/a tour, and simply press "." to get a walkthrough of the codebase ? (after installing the CodeTour extension ?)19:26 PM - 12 Aug 2021
Demo: Open this repo and install CodeTour. You'll be presented with a toast that asks if you'd like to take the
Getting Started
tour.
6. ? Code Snippets + Gists
Gists are a popular way for developers to manage and share code snippets, config files, notes, and more. In github.dev, you can install the GistPad extension and view/edit your gists. This allows you to maintain code snippets across multiple repos, and access them from both your desktop editor, as well as whenever you're browsing/editing code on GitHub.
? If you're loving the new github.dev editor, and wish you could use it for gists, then you're in luck! You can install the GistPad extension (aka.ms/gistpad), and create/edit gists directly in-browser ? I use this for managing code snippets, notes, etc.16:36 PM - 14 Aug 2021
7. ? Web Playgrounds + Tutorials
Coding playgrounds (e.g. CodePen, JSFiddle) are a popular way to learn programming languages/libraries, and then share them with others. With github.dev, you can install the CodeSwing extension and begin creating web playgrounds, using your existing editor setup, and with your files persisted back to GitHub.
Another fun use case for the github.dev editor: web playgrounds. Create interactive samples and then share them, in a way that's easily remixable. Check out this demo, and install the CodeSwing/CodeTour extensions. Directly from the browser! github.dev/lostintangent/…20:50 PM - 13 Aug 2021
Demo: Open this repo and install CodeSwing + CodeTour. After a few seconds, you'll be presented with the playground environment.
8. ✏️ Notetaking + Knowledge Bases
VS Code is a world-class markdown editor, and therefore, you can start using github.dev to edit and preview all of your personal notes/documentation. Even cooler, you can install the WikiLens extension in order to get a Roam/Obsidian-like editing experience, for maintaining a knowledge base, that's stored in GitHub and is able to benefit from the ecosystem of extensions/personalizations for VS Code.
? I've started using github.dev as my notetaking environment, but I missed having support for backlinks ? So I created WikiLens (aka.ms/wikilens) to provide a wiki-like view for GitHub + markdown, along with rich link navigation. All.From.The.Browser ?16:40 PM - 22 Aug 2021
9. ? Jupyter Notebooks
In addition to coding playgrounds, another popular way to learn and share code, is via Jupyter notebooks. If you open an .ipynb
file in github.dev, you can immediately view the cells and cached outputs of the notebook. Even better, you can install the Pyodide extension in order to actually run Python code, entirely in your browser!
?? Paige Bailey #BlackLivesMatter@dynamicwebpaige? Am excited to share that we have released github.dev: a completely in-browser @github+@code editing tool.
You can even *run* @ProjectJupyter notebooks with the entire #Python data science stack, using the #Pyodide extension (marketplace.visualstudio.com/items?itemName…)!
cc @jakevdp17:00 PM - 11 Aug 2021
10. ? Creating Your Own Extension!
As you probably noticed, most of the items above were enabled by means of an extension, that someone created and published to the marketplace. Since VS Code is fully extensible, using simple JavaScript APIs, you can create your own extensions that support not only VS Code desktop, but also, github.dev. So if you have an awesome idea, for how to make coding on GitHub more productive and fun, then you now have everything you need to get started ?
This content originally appeared on DEV Community and was authored by Jonathan Carter
Jonathan Carter | Sciencx (2021-08-28T18:02:02+00:00) 10 Cool Things You Can Do with Github.dev ?. Retrieved from https://www.scien.cx/2021/08/28/10-cool-things-you-can-do-with-github-dev-%f0%9f%98%8e/
Please log in to upload a file.
There are no updates yet.
Click the Upload button above to add an update.