Difference between revisions of "GitHub"
Adelo Vieira (talk | contribs) (→GUI Clients) |
Adelo Vieira (talk | contribs) |
||
| Line 2: | Line 2: | ||
https://us.informatiweb.net/tutorials/it/6-web/148--eclipse-connect-to-a-remote-file-system.html | https://us.informatiweb.net/tutorials/it/6-web/148--eclipse-connect-to-a-remote-file-system.html | ||
| + | |||
| + | <br /> | ||
==Mount a remote filesystem in your local machine== | ==Mount a remote filesystem in your local machine== | ||
https://www.digitalocean.com/community/tutorials/how-to-use-sshfs-to-mount-remote-file-systems-over-ssh | https://www.digitalocean.com/community/tutorials/how-to-use-sshfs-to-mount-remote-file-systems-over-ssh | ||
| Line 23: | Line 25: | ||
https://superuser.com/questions/344255/faster-way-to-mount-a-remote-file-system-than-sshfs | https://superuser.com/questions/344255/faster-way-to-mount-a-remote-file-system-than-sshfs | ||
| + | |||
| + | <br /> | ||
==Git and GitHub== | ==Git and GitHub== | ||
https://github.com/ | https://github.com/ | ||
| + | |||
| + | <br /> | ||
===Installing Git=== | ===Installing Git=== | ||
https://www.digitalocean.com/community/tutorials/how-to-install-git-on-ubuntu-18-04 | https://www.digitalocean.com/community/tutorials/how-to-install-git-on-ubuntu-18-04 | ||
| Line 31: | Line 37: | ||
sudo apt install git | sudo apt install git | ||
| + | |||
| + | <br /> | ||
===Configuring GitHub=== | ===Configuring GitHub=== | ||
https://www.howtoforge.com/tutorial/install-git-and-github-on-ubuntu/ | https://www.howtoforge.com/tutorial/install-git-and-github-on-ubuntu/ | ||
| Line 42: | Line 50: | ||
git config --global user.email "adeloaleman@gmail.com" | git config --global user.email "adeloaleman@gmail.com" | ||
| + | |||
| + | <br /> | ||
===Creating a local repository=== | ===Creating a local repository=== | ||
git init /home/adelo/1-system/1-disco_local/1-mis_archivos/1-pe/1-ciencia/1-computacion/1-programacion/GitHubLocalRepository | git init /home/adelo/1-system/1-disco_local/1-mis_archivos/1-pe/1-ciencia/1-computacion/1-programacion/GitHubLocalRepository | ||
| + | |||
| + | <br /> | ||
===Creating a README file to describe the repository=== | ===Creating a README file to describe the repository=== | ||
Now create a README file and enter some text like "this is a git setup on Linux". The README file is generally used to describe what the repository contains or what the project is all about. Example: | Now create a README file and enter some text like "this is a git setup on Linux". The README file is generally used to describe what the repository contains or what the project is all about. Example: | ||
| Line 51: | Line 63: | ||
This is Adelo's git repo | This is Adelo's git repo | ||
| + | |||
| + | <br /> | ||
===Adding repository files to an index=== | ===Adding repository files to an index=== | ||
This is an important step. Here we add all the things that need to be pushed onto the website into an index. These things might be the text files or programs that you might add for the first time into the repository or it could be adding a file that already exists but with some changes (a newer version/updated version). | This is an important step. Here we add all the things that need to be pushed onto the website into an index. These things might be the text files or programs that you might add for the first time into the repository or it could be adding a file that already exists but with some changes (a newer version/updated version). | ||
| Line 75: | Line 89: | ||
Note that the "git add" command can be used to add any number of files and folders to the index. Here, when I say index, what I am referring to is a buffer like space that stores the files/folders that have to be added into the Git repository. | Note that the "git add" command can be used to add any number of files and folders to the index. Here, when I say index, what I am referring to is a buffer like space that stores the files/folders that have to be added into the Git repository. | ||
| + | |||
| + | <br /> | ||
===Committing changes made to the index=== | ===Committing changes made to the index=== | ||
Once all the files are added, we can commit it. This means that we have finalized what additions and/or changes have to be made and they are now ready to be uploaded to our repository. Use the command: | Once all the files are added, we can commit it. This means that we have finalized what additions and/or changes have to be made and they are now ready to be uploaded to our repository. Use the command: | ||
| Line 81: | Line 97: | ||
"some_message" in the above command can be any simple message like "my first commit" or "edit in readme", etc. | "some_message" in the above command can be any simple message like "my first commit" or "edit in readme", etc. | ||
| + | |||
| + | <br /> | ||
===Creating a repository on GitHub=== | ===Creating a repository on GitHub=== | ||
Create a repository on GitHub. Notice that the name of the repository should be the same as the repository's on the local system. In this case, it will be "Mytest". To do this login to your account on https://github.com. Then click on the "plus(+)" symbol at the top right corner of the page and select "create new repository". Fill the details as shown in the image below and click on "create repository" button. | Create a repository on GitHub. Notice that the name of the repository should be the same as the repository's on the local system. In this case, it will be "Mytest". To do this login to your account on https://github.com. Then click on the "plus(+)" symbol at the top right corner of the page and select "create new repository". Fill the details as shown in the image below and click on "create repository" button. | ||
| Line 87: | Line 105: | ||
git remote add origin https://github.com/adeloaleman/GitHubLocalRepository | git remote add origin https://github.com/adeloaleman/GitHubLocalRepository | ||
| + | |||
| + | <br /> | ||
===Pushing files in local repository to GitHub repository=== | ===Pushing files in local repository to GitHub repository=== | ||
The final step is to push the local repository contents into the remote host repository (GitHub), by using the command: | The final step is to push the local repository contents into the remote host repository (GitHub), by using the command: | ||
git push origin master | git push origin master | ||
| + | |||
| + | <br /> | ||
===GUI Clients - Github Desktop=== | ===GUI Clients - Github Desktop=== | ||
Git comes with built-in GUI tools for committing (git-gui) and browsing (gitk), but there are several Desktop tools for users looking for platform-specific experience: | Git comes with built-in GUI tools for committing (git-gui) and browsing (gitk), but there are several Desktop tools for users looking for platform-specific experience: | ||
Revision as of 18:50, 12 October 2019
Contents
- 1 Eclipse - Connect to a remote file system
- 2 Mount a remote filesystem in your local machine
- 3 Git and GitHub
- 3.1 Installing Git
- 3.2 Configuring GitHub
- 3.3 Creating a local repository
- 3.4 Creating a README file to describe the repository
- 3.5 Adding repository files to an index
- 3.6 Committing changes made to the index
- 3.7 Creating a repository on GitHub
- 3.8 Pushing files in local repository to GitHub repository
- 3.9 GUI Clients - Github Desktop
Eclipse - Connect to a remote file system
https://us.informatiweb.net/tutorials/it/6-web/148--eclipse-connect-to-a-remote-file-system.html
Mount a remote filesystem in your local machine
https://stackoverflow.com/questions/32747819/remote-java-development-using-intellij-or-eclipse
https://serverfault.com/questions/306796/sshfs-problem-when-losing-connection
https://askubuntu.com/questions/358906/sshfs-messes-up-everything-if-i-lose-connection
https://askubuntu.com/questions/716612/sshfs-auto-reconnect
root@sinfronteras.ws: /home/adelo/1-system/3-cloud
sshfs -o reconnect,ServerAliveInterval=5,ServerAliveCountMax=3 root@sinfronteras.ws: /home/adelo/1-system/3-cloud
sshfs -o allow_other root@sinfronteras.ws: /home/adelo/1-system/3-cloud
faster way to mount a remote file system than sshfs:
https://superuser.com/questions/344255/faster-way-to-mount-a-remote-file-system-than-sshfs
Git and GitHub
Installing Git
https://www.digitalocean.com/community/tutorials/how-to-install-git-on-ubuntu-18-04
sudo apt install git
Configuring GitHub
https://www.howtoforge.com/tutorial/install-git-and-github-on-ubuntu/
We need to set up the configuration details of the GitHub user. To do this use the following two commands by replacing "user_name" with your GitHub username and replacing "email_id" with your email-id you used to create your GitHub account.
git config --global user.name "user_name" git config --global user.email "email_id"
git config --global user.name "adeloaleman" git config --global user.email "adeloaleman@gmail.com"
Creating a local repository
git init /home/adelo/1-system/1-disco_local/1-mis_archivos/1-pe/1-ciencia/1-computacion/1-programacion/GitHubLocalRepository
Creating a README file to describe the repository
Now create a README file and enter some text like "this is a git setup on Linux". The README file is generally used to describe what the repository contains or what the project is all about. Example:
vi README
This is Adelo's git repo
Adding repository files to an index
This is an important step. Here we add all the things that need to be pushed onto the website into an index. These things might be the text files or programs that you might add for the first time into the repository or it could be adding a file that already exists but with some changes (a newer version/updated version).
Here we already have the README file. So, let's create another file which contains a simple C program and call it sample.c. The contents of it will be:
vi sample.c
#include<stdio.h>
int main()
{
printf("hello world");
return 0;
}
So, now that we have 2 files:
README and sample.c
add it to the index by using the following 2 commands:
git add README git add smaple.c
Note that the "git add" command can be used to add any number of files and folders to the index. Here, when I say index, what I am referring to is a buffer like space that stores the files/folders that have to be added into the Git repository.
Committing changes made to the index
Once all the files are added, we can commit it. This means that we have finalized what additions and/or changes have to be made and they are now ready to be uploaded to our repository. Use the command:
git commit -m "some_message"
"some_message" in the above command can be any simple message like "my first commit" or "edit in readme", etc.
Creating a repository on GitHub
Create a repository on GitHub. Notice that the name of the repository should be the same as the repository's on the local system. In this case, it will be "Mytest". To do this login to your account on https://github.com. Then click on the "plus(+)" symbol at the top right corner of the page and select "create new repository". Fill the details as shown in the image below and click on "create repository" button.
Once this is created, we can push the contents of the local repository onto the GitHub repository in your profile. Connect to the repository on GitHub using the command:
git remote add origin https://github.com/adeloaleman/GitHubLocalRepository
Pushing files in local repository to GitHub repository
The final step is to push the local repository contents into the remote host repository (GitHub), by using the command:
git push origin master
GUI Clients - Github Desktop
Git comes with built-in GUI tools for committing (git-gui) and browsing (gitk), but there are several Desktop tools for users looking for platform-specific experience:
- GitHub Desktop (aplicación oficial GitHub):
Hay otras aplicaciones similares a la aplicación oficial GitHub Desktop disponibles para Linux:
- https://git-scm.com/download/gui/linux
- He instalado ésta: https://www.gitkraken.com/
Github Desktop
