Skip to content

Instantly share code, notes, and snippets.

View britannio's full-sized avatar

Britannio Jarrett britannio

116 followers · 256 following
View GitHub Profile
@mannprerak2
mannprerak2 / GSoC_2020_Dart_Prerak_Mann.md
Last active March 10, 2021 12:55
Google summer of code 2020 - Dart (google) - Prerak Mann
@arslancharyev31
arslancharyev31 / C_v1.bnf
Created October 14, 2017 15:32
C .bnf grammar. Version 1.
{
tokens=[
space='regexp:\s+'
identifier='regexp:[a-zA-Z][a-zA-Z0-9_]*'
integer-constant='regexp:\d+'
character-constant='regexp:[a-zA-Z]'
floating-constant='regexp:[+-]?([0-9]*[.])?[0-9]+f'
enumeration-constant='regexp:[a-zA-Z][a-zA-Z0-9_]*' // Same as identifier
]
@myusuf3
myusuf3 / delete_git_submodule.md
Created November 3, 2014 17:36
How effectively delete a git submodule.

To remove a submodule you need to:

  • Delete the relevant section from the .gitmodules file.
  • Stage the .gitmodules changes git add .gitmodules
  • Delete the relevant section from .git/config.
  • Run git rm --cached path_to_submodule (no trailing slash).
  • Run rm -rf .git/modules/path_to_submodule (no trailing slash).
  • Commit git commit -m "Removed submodule "
  • Delete the now untracked submodule files rm -rf path_to_submodule