Delete a remote branch with git
To delete a remote branch, you can’t use the git branch command. Instead, use the git push command with --delete flag, followed by the name of the branch you want to delete.
To delete a remote branch, you can’t use the git branch command. Instead, use the git push command with --delete flag, followed by the name of the branch you want to delete.
Easy way to repeat often used commands on the linux console ... add history search backwards to .inputrc in your home directory:
cd ~
vim .inputrc
It's a one liner in your vagrant file:
config.ssh.forward_agent = true
If it does not work out of the box, do the following in the guest:
For drupal 8, take a look into composer.json and checkout for 'extra' section. Add the file_mapping:
sudo apt purge nodejs npm
curl -o- https://raw.githubusercontent.com/creationix/nvm/v0.33.8/install.sh | bash
exit
Open new terminal
df shows you the percentage per volume which is in use - but to clean up your diskspace it's much more practical to see the directories which are filled with 'tons' of filegarbage ...
cd /into/directory/one_level_above
grep -rnw . -e 'string to be searched'
I'm very comfortable with Scotchbox as Vagrantbox for my local development.
Install Wine with Linux Package Manager and Download Adobe DNG Converter for Windows.
Install it with Wine:
Working with friends, working with a good team, working with multiple editors, working for a good cause ... the latest website relaunch was a nice work to do.