Skip to content

Instantly share code, notes, and snippets.

View vincentiroleh's full-sized avatar
💭
Creating Value

Vincent Iroleh vincentiroleh

💭
Creating Value
View GitHub Profile

LINUX CHEAT LIST

This is a collection of all I have learned when using Linux (ubuntu)

  • ctrl+shift+T: opens terminal
  • cd <directory-name>: change directory
  • ls': Lists all files and directories in a directory
@vincentiroleh
vincentiroleh / gist:701e6ca50ca8c06fe441ce6c6dce0d10
Created November 27, 2018 11:53 — forked from lttlrck/gist:9628955
rename git branch locally and remotely
git branch -m old_branch new_branch # Rename branch locally
git push origin :old_branch # Delete the old branch
git push --set-upstream origin new_branch # Push the new branch, set local branch to track the new remote
@ann-mukundi
ann-mukundi / Working with branches
Created January 23, 2018 13:26
CP-readiness: git branches
Create a github account here
Create a new repository on github with the name cp-readiness
Follow the instructions to push an existing repository from the command line
In your local machine, create a branch called recipes
Switch to the new branch
In a folder called recipe, create a file called tea.txt
Add the changes to staging
Push to the recipes branch
@tsaqib
tsaqib / ideas.md
Last active April 14, 2024 12:48
Ideas that you can use for hackathons, competitions and research.

Ideas

I have collected and moderated these ideas from various public sources and put into one place so that problem solvers and solution developers may find inspirations. Because I wish to update it regularly, I have setup as a single page wiki. You may try these ideas on hackathons/competitions/research; some are quite intense problems and some are not. Many of the problems were prepared keeping Dhaka/Bangladesh in mind, but of course can be applied to just about any underdeveloped/developing and sometimes developed countries.

Categories:
  • Eradicate Extreme Poverty and Hunger
  • Education
  • Healthcare
  • Governance
@lttlrck
lttlrck / gist:9628955
Created March 18, 2014 20:34
rename git branch locally and remotely
git branch -m old_branch new_branch # Rename branch locally
git push origin :old_branch # Delete the old branch
git push --set-upstream origin new_branch # Push the new branch, set local branch to track the new remote