GitHub Super Linter free code check

A tool that checks the source code for it is very useful for developers. So from today που ανήκει πλέον στην Microsoft κυκλοφόρησε το "Super Linter" για να βοηθήσει τους προγραμματιστές να αποφύγουν την ταλαιπωρία της ρύθμισης των αποθετηρίων του κώδικα.

The new Super Linter is based on GitHub's Actions tool and is built to automate some development. Its goal is to help developers contribute to projects built with multiple programming languages.

Το GitHub το περιγράφει ως έναν "απλό εργαλείο με πολλά linters, γραμμένο σε bash, για να επικυρώνει τον πηγαίο κώδικα" με σκοπό να αποφευχθεί η αποστολή κώδικα που δεν λειτουργεί στο 'master' branch, το key branch και άλλα branches που κυκλοφορεί το project.

By the way, GitHub decided να αφήσει τον όρο 'master' και να τον αντικαταστήσει με τον όρο 'main' λόγω των διαμαρτυριών του , but for now everything is as it was.

Το Super Linter θα επιτρέπει στους προγραμματιστές να κάνουν 'lint' ή να ελέγχουν τον κώδικά τους χρησιμοποιώντας δημοφιλείς linters για Python, , Go, XML, YAML και άλλες γλώσσες προγραμματισμού. Ο μηχανικός του GitHub Lucas Gravley περιγράφει το Super Linter σαν "ένα linter για να την διαχείριση όλων".

"Το GitHub Super Linter δημιουργήθηκε από ανάγκη της ομάδας GitHub Services DevOps Engineering για να διατηρήσει τη συνέπεια στην τεκμηρίωση και τον κώδικα, καθιστώντας την επικοινωνία και τη συνεργασία σε όλη την εταιρεία μια πιο παραγωγική εμπειρία", he says Gravley.

Super Linter will not fix the problems, but it will point them out. This way developers will then be able to fix them before they get to the master, and without having to read hundreds (or even thousands) of lines of code over and over again.

iGuRu.gr The Best Technology Site in Greecefgns

every publication, directly to your inbox

Join the 2.087 registrants.

Written by giorgos

George still wonders what he's doing here ...

Leave a reply

Your email address is not published. Required fields are mentioned with *

Your message will not be published if:
1. Contains insulting, defamatory, racist, offensive or inappropriate comments.
2. Causes harm to minors.
3. It interferes with the privacy and individual and social rights of other users.
4. Advertises products or services or websites.
5. Contains personal information (address, phone, etc.).