#til It turns out that Jira, the only web software that you need to upgrade your fibre connection for, is a lot faster if you bring your own GUI.
JQL syntax in JIRA is such that negative filtering, eg Labels != Refinement also filters out all the tickets without any value. #til
Any developers using bash/zsh shell and git can use this code snippet to effectively git fetch when entering a directory:
function chpwd {
GIT_ROOT=$(git rev-parse --show-toplevel 2>/dev/null)
if [ -n "$GIT_ROOT" ]; then
FETCH_STAMP_FILE="$HOME/.cache/chpwd_git_fetch_$(echo "$GIT_ROOT" | tr '/' '_')"
if [ ! -f "$FETCH_STAMP_FILE" ] || [ $(find "$FETCH_STAMP_FILE" -mmin +10) ]; then
({ git fetch --all --quiet && touch "$FETCH_STAMP_FILE"; } > /dev/null 2>&1 &)
fi
fi
}
This snippet acts like a lightweight background updater, seamlessly integrating with your shell navigation to keep your local metadata fresh, reduce manual fetches and out of date merges. #til
JAI is a new sandbox for AI agents. It has installation instructions for Arch Linux, but I managed to compile it on Ubuntu 24.04 using a little help from LLM, creating these instructions in the process. After setup, you just prefix the cli command with jai. Read about the security model#til
#TILfuser -k 8747/tcp returns the process that can be killed in its output.
#TIL The order of rsync parameters are significant. --include / --exclude act on each other.
#TIL On the Safari start page on iOS there’s an edit tab at the bottom where you can disable sections like suggestions.
Remembered about this hidden browser.compactmode.showFirefox about:config setting, enabled it in Customize toolbar... and added a few tweaks to my userChrome.css file. Considering the browser is open all day for me, it's worth optimising the environment a little for open tabs. #til#firefox
/* make it easier to find active tab */
.tab-background {
&:is([selected], [multiselected]) {
border-top: 1px solid #444 !important;
}
}
/* thinner pins, even in compact toolbar mode */
.tab-content {
padding: 0 4px !important;
}
/* remove space between tabs */
.tabbrowser-tab {
padding: 0 !important;
}