Skip to content

Instantly share code, notes, and snippets.

View jtojnar's full-sized avatar

Jan Tojnar jtojnar

  • ogion.cz
  • Czech Republic
View GitHub Profile
<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE plist
PUBLIC '-//Apple Computer//DTD PLIST 1.0//EN'
'http://www.apple.com/DTDs/PropertyList-1.0.dtd'>
<plist version="1.0">
<dict>
<key>name</key>
<string>SmPL</string>
<key>scopeName</key>
<string>source.smpl</string>
@jtojnar
jtojnar / tsicsv2gpx.py
Last active July 23, 2023 13:52
Tool for converting CSV files exported from TSI LogView into GPX format.
#!/usr/bin/env python3
"""
This is a tool for converting CSV files exported from TSI LogView into GPX format.
While LogView can export to GPX natively, the produced file has several downsides:
- It uses GPX version 1.1, which cannot be imported to Garmin BaseCamp program.
- It lacks waypoints.
- It lacks some other recorded data like speed or heading.
@jtojnar
jtojnar / flake.lock
Last active November 28, 2023 11:57
Attempt at packagin kani with fenix https://github.com/model-checking/kani
{
"nodes": {
"fenix": {
"inputs": {
"nixpkgs": [
"nixpkgs"
],
"rust-analyzer-src": "rust-analyzer-src"
},
"locked": {
<!DOCTYPE html>
<html lang="en">
<head>
<title>Multiplier demo</title>
</head>
<body>
<div class="container">
<h1>Contributte Form Multiplier</h1>
{form form}
<div n:multiplier="emails">
@jtojnar
jtojnar / gnome-keyring.patch
Last active August 2, 2024 14:25
Trying to reproduce secret exfiltration with POC in https://gist.github.com/jtojnar/d1c98d5d803cee3998f68e2e1761c8f8
diff --git a/pam/gkr-pam-client.c b/pam/gkr-pam-client.c
index ebb7f798..b575dbbf 100644
--- a/pam/gkr-pam-client.c
+++ b/pam/gkr-pam-client.c
@@ -59,7 +59,7 @@
static int
check_peer_same_uid (struct passwd *pwd,
int sock)
-{
+{syslog (GKR_LOG_INFO, "called %s", __func__);