GitHub
- Source code
- Packaged software
- GitHub in details
Antonio Pierro @antonio_pierro_
Per consigli, suggerimenti, eventuali errori o altro potete scrivere una email a antonio.pierro[at]gmail.com
What is the source code?
- In computing, source code is any collection of computer instructions (possibly with comments)
- It is written using some human-readable computer language, usually as text such as HTML or JavaScript.
- The source code which constitutes a program is usually held in one or more text files stored on a computer's hard disk
Source code example
<!DOCTYPE html>
<html>
<head>
<title>My first web page</title>
</head>
<body>
<p>This is my first web page</p>
<p>How exciting</p>
<p>first line<br>second line</p>
</body>
</html>
Source code quality
- The way a program is written can have important consequences for its maintainers.
- Coding conventions, which stress readability and some language-specific conventions, are aimed at the maintenance of the software source code:
- Indent style conventions
- Naming conventions
- Comment conventions
What is a packaged software?
- A software package is a software that has been built from source code.
- A software package can have additional meta-information such as a:
- package description,
- package version,
- dependencies
What is GitHub?
- GitHub[1] is a collaborative software or groupware.
- GitHub is a web-based hosting service for software development projects[2].
GitHub description
- The site provides:
- social networking functionality such as feeds, followers, wikis
- social network graph to display how developers work
GitHub statistics
- GitHub was launched in April 2008.
- On 21 September 2011, GitHub announced it had reached over 1 million users.
- On 13 September 2012, on their homepage, GitHub announced it had over 2.1 million users.
- On 10 April 2013, GitHub announced it had 3.5 million users.
GitHub - Let's get started.
- Create a repository
- create pages with the automatic generator
- access the URL.
GitHub - Create the user's repository
- In your user bar at the top right of any page, click the "New Repository" button
- enter the following name "<username>.github.io" and click "Create repository"
GitHub - Create pages
- Go to the repository's settings page
- click the "Automatic Page Generator" button
- click the "Continue To Layouts" button
- preview your content in our themes
- when you find a theme that you like, click "Publish".
GitHub - Create a generic repository
- In your user bar at the top right of any page, click the "New Repository" button,
- enter a name, click "Create repository"
Access the URL
- Github has two types of pages namely "user pages" and "project pages".