This program in order to pay close attention to the current number of people infected with Corona-Virus, which displays the current statistics on the display. Datasource Data used in this project came from this Website. BeautifulSoup was used to extract the data. Make it work If you just want to print the informations on the terminal, you may just run the fetch_print.py To display it on the LCD2...
Github is an open source project hosting platform used by many students and Internet / IT practitioners. It provides a lot of high-quality projects and gadgets. However, it also has its own shortcomings, that is, it is very inconvenient to read and view the project. This article introduces 5 Google Chrome plug-ins that can improve the Github experience.
No matter how busy I am every week, I will take the time to see if there are any recent hot and fun projects, and then try to use them. I do this for 2 reasons,
- Learn a lot from it, including coding specifications, software design patterns
- Pick out some good ones from projects with good and bad
In using Github for a long time, it did make me encounter a lot of inconvenient and even helpless places. For example, when I want to locate a file, I need to step in, and then step out of a directory, which is obviously very inconvenient. When I want to see how a function is defined, I need to find it manually. I cannot jump directly with shortcut keys like in IDE.
Of course, it is not only these two points that make people repel, but I also suffer from not having a good solution.
However, since using the five Chrome plugins introduced in this article, the functions of the mature IDE have been almost transferred to Github. The five plugins are：
- Github Code Folding
Let's introduce the above 5 useful Chrome plug-ins.
Octotree is a well-known Github plugin on Chrome, highly recommended to everyone.
Viewing a file is one of the most troublesome points in my use of Github. It is necessary to enter a directory layer by layer and then exit the directory layer by layer. This is not only laborious, but if the network speed is not good, viewing a file takes a long time, for example：
The appearance of Octotree can take the Github experience to a whole new level. It can display Github projects in a tree structure. You can easily read the code, quickly view a file, and make Github like most IDEs.
In addition, Octotree can download a single file, which is a very useful feature.
Imagine that when we look at a Github project, we only need one of the files. However, at this time, the entire project has to be cloned or downloaded, which is obviously very troublesome.
When the mouse is moved over the file to be downloaded, a "Share" button will appear on the left side of the file, and you can download the file with just one click.
Sourcegraph can solve two other issues on Github: jump definition and suspension.
Students who have used IDEA and VS Code should be used to their convenient functions.
- Shortcut to jump to the definition of a function
- Hover over documents and type information
- Find references
- Supports 20+ languages such as Python and Java
Obviously, the default Github does not have such convenient functions. Sourcegraph can bring these functions to Github. Let ’s take a look at the demo below.
OctoLinter is also a jump tool, but it is different from Sourcegraph.
Octohint is a plug-in that can add smart prompts to GitHub and GitLab. Double-clicking a function or variable can prompt its definition. Currently it supports the following languages,
Seeing this, I think many people will feel a little disappointed. Why don't they support Python, Java, Go and other languages? Why introduce this plugin?
Because what attracts me is not just the smart prompt feature, but the quick match feature.
When we use sublime and Pycharm, we should all use a function. When double-clicking a variable or function, the same name will be highlighted, so that we can read the code. Octohint attracted me precisely because it has such a feature, which is applicable to all programming languages.
Github Code Folding
Github Code Folding should be easy to guess its purpose from the name. Yes, it is a code folding plugin.
Many professional IDEs have this basic function, which can avoid our tedious page-up and page-down, especially for programming languages such as C ++ and Java, which often have thousands of lines of code, code folding is even more necessary.
With the Github Code Folding plugin, you do n’t need to scroll through the pages with a hard mouse. Let ’s take a look at the demo.
Tree directory, quick jump, highlight matching, code folding ... With these functions, Github already has the main functions that the IDE should have, so that it can improve the efficiency of reading code and finding items.