Skip to content

Instantly share code, notes, and snippets.

View yaochx's full-sized avatar
:octocat:
Focusing

yaochx

:octocat:
Focusing
  • HongKong
  • 21:23 (UTC -12:00)
View GitHub Profile
@yaochx
yaochx / delete_git_submodule.md
Created July 11, 2019 02:31 — forked from myusuf3/delete_git_submodule.md
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
@yaochx
yaochx / nvvp.md
Created April 24, 2024 13:54 — forked from sonots/nvvp.md
How to use NVIDIA profiler

Usually, located at /usr/local/cuda/bin

Non-Visual Profiler

$ nvprof python train_mnist.py

I prefer to use --print-gpu-trace.