For programmers, GitHub couldn't be more familiar. GitHub has become the world's largest "same-sex" dating platform! Visiting GitHub as a developer is like visiting Taobao. I believe that most developers will look for wheels on it to improve their development efficiency.
Today I will recommend several tools to improve your efficiency when visiting GitHub. Very practical and highly recommended! I also hope that everyone will pay attention to me. I will continue to update some dry goods, which may be helpful to you!
Sourcegraph
Search SourceGraph in the plug-in market:
SourceGraph can provide both the file tree browsing provided by Octotree and the definition jump function of Github Jump to definition, and it also supports Jump to reference.
It is very convenient to use. After installing it, just open a Github project:
We will find that there is an additional icon on the project homepage, which is Source Graph. Click on it to open the Source Graph project browse page:
Basically, at the level of code browsing, it already has the look of an IDE, and the whole process is carried out in the web page, which is very convenient. It is not necessary to clone the code to the local, which is convenient for quick browsing of the code.
Old GitHub UI
Recently, the front end of Github has been revised. If you still have trouble with the old version of GitHub UI, you can try the "Old GitHub UI" plugin!
Installation is very simple: just go to the Chrome extension store or Firefox add-ons page, and click a button to install.
Move the sidebar and title to the main content area
vs
add line separators, use classic buttons, delete circular images
vs
Enhanced GitHub
Enhanced Github is an extension that provides useful functions on the GitHub website. It can display the size of the warehouse, the size of each file, the download link, and the option to copy the content of the file. However, Github also has a painful place, that is:
- The warehouse can only be packaged and downloaded, but the download link of a single file in the warehouse is not provided;
- No size is shown for each file;
However, now I am not afraid. With this plugin, we can solve these pain points.
- Show warehouse size
- Show the size of each file in each active branch (not applicable to folders/symbolic links)
- Display the download link of each file (not applicable to folders/symbolic links)
- Copy the content of the file directly to the clipboard (does not work for markdown files)
- Download file while viewing file content
github-hovercard
This plug-in allows you to pop up floating windows in many places when you use GitHub to quickly display a lot of information. GitHub Hovercard provides the following options:
- Use this option to set a custom domain for the GitHub Enterprise service. Please note that you don't need to set it up, github.com is always included. You may be asked to grant additional permissions to these domains.
- The theme of the floating card. The default is a GitHub-style floating card. You can set it back to the classic dark style in the options.
- If you don’t want the floating cards to pop up immediately, you can set a delay so that they try to retrieve the data and display it.
Awesome
When you are searching, this plugin will instantly display search results and suggestions to improve your efficiency on GitHub. And you can also search directly in the address bar! Now that efficiency is king, searching is naturally lightning fast. With this plug-in, the efficiency will be improved.
For more exciting content, follow the WeChat public account "Python learning and data mining"
In order to facilitate technical exchanges, this account has opened a technical exchange group. If you have any questions, please add a small assistant Wechat: connect_we, remarks: CSDN, welcome to reprint, collection, codewords are not easy, like the article, like it! Thanks
