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 / 0 - Multiple git identities on one machine.md
Last active September 9, 2026 16:19
Multiple git identities on one machine: config per folder and per provider (personal vs work). Every command verified.

Multiple git identities on one machine

One machine, several git identities (personal vs work, GitHub vs GitLab, two accounts on one provider). Each repository picks its own name, email and credentials. In a hurry: Appendix B, once per rule.

A wrong identity does not fail: git commits and pushes under the wrong author. Part 1 ends with the check that catches it.

Requirements

Feature Minimum git
@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.