balazsbohonyi

Source: Reddit Pastebin

How to add rules in Antigravity

• Open any Antigravity agent chat, click the three-dot menu in the top‑right.
• Choose Customizations → in the Rules tab click [+ Workflow].
• Specify as rule name: opus_permission_gated_v1
• Antigravity will create the .agent/rules/opus_permission_gated_v1 markdown file in the project's root..

balazsbohonyi

#!/usr/bin/env python3
"""
JetBrains Trial Reset Tool
A Python implementation that resets trial periods for JetBrains IDEs
"""

import os
import platform
import subprocess
import shutil

balazsbohonyi

Add an alias for more in .bashrc:

alias more=/proc/cygdrive/c/Windows/System32/more.com

...and then you can use it like this in Git Bash:

cat large_file | more

To increase less's screen width in Git Bash, try this: git config --global core.pager "env -u COLUMNS less"

balazsbohonyi

From an elevated (Run as Administrator) PowerShell prompt:

iwr -useb https://christitus.com/win | iex

• Article about the utility
• YouTube Video
• GitHub repo

balazsbohonyi

Create a redirect server in Node.js

'use strict'

var http = require('http');

var mappings = {
 g: 'http://www.google.com'

balazsbohonyi

I need to geotag every photo from trip to .gpx track, but GPX Logger accidentaly stopped. Luckly, i has turned on Google location history.

1. Takeout location history from google.
2. Extract .json file
3. trigger the following commands

git clone https://github.com/Scarygami/location-history-json-converter.git

py location-history-json-converter-master/location_history_json_converter.py -f gpx -s 2017-05-06 -e 2017-05-07 "Takeout/Location History/Records.json" "Takeout/Location History/Records.gpx"

balazsbohonyi

Number.prototype.mod = function(n) {
  return ((this%n)+n)%n;
}

// support for adding/subtracting business days for Javascript dates
Date.prototype.addBusinessDays = function(days) {
	days = parseInt(days);
	var wks = Math.floor(days/5);
	var dys = days.mod(5);
	var dy = this.getDay();