dir [path] : list the content of a directory
cd [path]: move into that directory
echo sometext > file.txt : create a file named file.txt that contains ‘sometext’
dir [path] : list the content of a directory
cd [path]: move into that directory
echo sometext > file.txt : create a file named file.txt that contains ‘sometext’
There are several options at your disposal in the terminal:
$ sudo lsof -i -P -n | grep LISTEN
$ sudo netstat -tulpn | grep LISTEN
$ sudo lsof -i:22 # see a specific port such as 22
$ sudo nmap -sTU -O IP-address-Here
argument[0] is used in javascript function to pass on the value of the WebElement.
exemple:
WebElement webElement = driver.findElement(By.xpath("xpath_element"));
JavascriptExecutor javaScriptExecutor = (JavascriptExecutor)driver;
javaScriptExecutor.executeScript("arguments[0].click()", webElement);
The @ symbol denotes a Java Annotation. What a Java annotation does, is that it adds a special attribute to the variable, method, class, interface, or other language elements.
“In the Java computer programming language, an annotation is a form of syntactic metadata that can be added to Java source code. “
https://en.wikipedia.org/wiki/Java_annotation
sudo apt-get install git
$ git config --global user.name "My Name"
$ cd Desktop/git_exercise/ $ git init
This command will return the current branch as well as it’s status compared to the head.
$ git status
The following command add the file hello.txt to git. This file will mbe included in the next commit.
$ git add hello.txt
or
$ git add -A
equivalent to
$ git add .
The two commands above add all files to git, except the files that are excluded due to git ignore rules.
$ git commit -m "Initial commit."
$ git commit --ammend
To remove the git file and create anew in the repo:
cd /path/to/your/reporm -rf .gitgit init
In general:
$ git remote add origin https://github.com/user/repo.git
See https://docs.github.com/en/get-started/getting-started-with-git/managing-remote-repositories for more details.
If it’s a commit on the master branch:
$git push origin master
If it’s a commit on some branch named “some-branch”:
$git push origin some-branch
In our workflow we shall send code to CR (code review) before it goes to QA.
Create a branch
For that you create a branch, then push the code to your branch and the pull request is done in the master branch dashboard.
$ git branch some-feature$ git checkout some-feature
You can create the branch and go in the branch in command:
$ git checkout -b some-feature
# Edit some code
$git commit -a -m "Add first draft of some feature"
$ git push origin some-branch
“After Bitbucket has her feature branch, Mary can create the pull request through her Bitbucket account by navigating to her forked repository and” clicking on Pull requests in the side bar and then “clicking the Pull request button in the top-right corner.“
Source: https://www.atlassian.com/git/tutorials/making-a-pull-request
More reading: https://docs.github.com/en/github/collaborating-with-issues-and-pull-requests/about-pull-requests
https://www.atlassian.com/git/tutorials/saving-changes/gitignore
https://git-scm.com/docs/gitignore
touch ~/.gitignore
git config --global core.excludesFile ~/.gitignore
sudo vim ~/.gitignore
edit file with:
*.css.map
to exclude all files ending with .css.map
for a local approach simply create and edit the .gitignore file in the affected local repository.
If the file has already been staged, remove it by using:
$ git restore --staged <file>.
All those worked:
/source
*/.sass-cache
*/codeStyles
.gitignore
the directory tree was:
|
|-source
|-.sass-cache
|-.idea
|-codeStyles
hint: Updates were rejected because the tip of your current branch is behind hint: its remote counterpart. Integrate the remote changes (e.g. hint: 'git pull ...') before pushing again. hint: See the 'Note about fast-forwards' in 'git push --help' for details.
create a force push:
git push -f origin branchname
https://docs.github.com/en/github/getting-started-with-github/setting-your-username-in-git
cd in the folder were you want to clone the repo:
$ cd directory/you/clone
$ git init
$ git config user.name “Your-Username” #can be different from your github username
$ git config user.email “your.email@example.com”
$ ssh-keygen -t rsa -C “your.email@example.com”
Enter file in which to save the key (/home/username/.ssh/id_rsa): /home/username.ssh/id_rsa
copy the content of the id_rsa.pub in your github settings in your profile.
Set github local authentication to be able to clone and push:
http://kbroman.org/github_tutorial/pages/first_time.html
$git branch
$git branch -r
$git branch -a
$git status
git fetch origingit reset --hard origin/master
git clone -b <branch> <remote_repo>
git branch -d branch-name
or
git branch -D branch-name
in case the branch to be deleted is not fully merged.
Open a terminal
$ vim ~/.profile
Add this line at the end of the file (press the ‘i’ key of your keyboard in vim to be in insert mode):
export PATH=$PATH:/your/path
Escape the insert mode, then save and quit ( :w and :q).
$ source ~/.profile
Restart your computer.