Skip to content

Instantly share code, notes, and snippets.

View taminhtienhai's full-sized avatar
🐟

Harris Tạ taminhtienhai

🐟
View GitHub Profile
@c0m4r
c0m4r / radxa_rock5c_lite.md
Last active June 9, 2026 15:30
Radxa ROCK 5C Lite - all you need to know in one place
@hortonew
hortonew / setup-bevy-0.15-project-for-android.sh
Last active February 4, 2026 22:32
setup-bevy-0.15-project-for-android.sh
#!/bin/zsh
# Grab PROJECT from Cargo.toml project.name
PROJECT=$(grep "name" Cargo.toml | cut -d '"' -f 2 | head -n 1)
PROJECT_ORG="bevyengine"
PROJECT_ORG_STRUCTURE="org.${PROJECT_ORG}.${PROJECT}"
BEVY_RELEASE="refs/heads/release-0.15.2"
echo "Creating new Bevy project: ${PROJECT} with organization structure: ${PROJECT_ORG_STRUCTURE}"
@tsjensen
tsjensen / gradle-jacoco-aggregated-report.md
Last active November 18, 2024 09:03
Gradle: Create a JaCoCo Report aggregating all subprojects

Create an Aggregated JaCoCo Report

The JaCoCo results from all subprojects shall be combined.

Requirements

  • Don't make any assumptions about where files are located in the build folders.
  • Refer to the sources of truth for getting at needed information.
  • Don't make any assumptions about which source sets are being tested. It might be main, but it might not.
  • Handle subprojects that don't JaCoCo.
@daquinoaldo
daquinoaldo / PDF-doclet.md
Last active December 10, 2025 07:42
PDF doclet: export JavaDoc in PDF

PDF doclet: export JavaDoc in PDF

  1. Download PDFDoclet from SourceForge.
  2. Edit pdfdoclet.sh setting correctly
  • PATH: the Java bin path
  • DOCLET_PATH: the path to the downloaded PDFDoclet JAR
  • SRC: the path to your source code containing the JavaDoc
  • PACKAGES: the list of all the packages in your source code
  • OUTPUT_NAME: optionally, the output name of the generated pdf (the directory must exists).
  1. Edit pdfdoclet.config changing api.title (the title of the first page of the JavaDoc) and api.author (your name)
@bgauduch
bgauduch / multiple-repository-and-identities-git-configuration.md
Last active August 24, 2026 07:11
Multiple git identities on one machine: config per folder and per provider (personal vs work). Every command verified.

Multiple git identities on one machine

TL;DR

One machine, several git identities: typically personal vs work, GitHub vs GitLab, or two accounts on the same provider. This setup makes every repository pick the right name, email, and keys on its own, so no work commit ever goes out under your personal address (or the reverse). In a hurry: run the Appendix B script once per identity.

@KodrAus
KodrAus / Profile Rust on Linux.md
Last active March 12, 2026 22:23
Profiling Rust Applications

Profiling performance

Using perf:

$ perf record -g binary
$ perf script | stackcollapse-perf.pl | rust-unmangle | flamegraph.pl > flame.svg

NOTE: See @GabrielMajeri's comments below about the -g option.