patrislav1

Keybase proof

I hereby claim:

• I am patrislav1 on github.
• I am patrislav (https://keybase.io/patrislav) on keybase.
• I have a public key ASC-I142cUuk51hhcnU0giycWfUr2ZWTaKd8WAYnI26KXAo

To claim this, I am signing this object:

patrislav1

#!/bin/bash

FILES=$(find . -name "*.avi") 
while read FILE; do
    DESTFILE=$(echo ${FILE} | sed 's/\.avi$/\.mkv/g')
    rm -f "${DESTFILE}"
    ffmpeg -fflags +genpts -nostdin -i "${FILE}" -c:v copy -c:a copy "${DESTFILE}"
    ls -lh "$FILE"
    ls -lh "$DESTFILE"
done <<< $FILES

patrislav1

<pre style="background-color: #0f0800;color: #bbbbbb;">
...insert copied message here...
</pre>

patrislav1

#pragma once

#include <chrono>
#include <string>

#include <boost/log/core.hpp>
#include <boost/log/trivial.hpp>

namespace blg = boost::log::trivial;

patrislav1

#!/usr/bin/env python3

import requests
import sys
from sortedcontainers import SortedDict, SortedList


class GitlabApi:
    API_LINK = 'api/v4'

patrislav1

#include <functional>
#include <iostream>
#include <map>
#include <memory>
#include <string>

struct Base {
    virtual std::string blub() = 0;
};

patrislav1

git filter-branch --env-filter '
OLD_EMAIL="patrick.huesmann@desy.de"
NEW_EMAIL="info@patrick-huesmann.de"

if [ "$GIT_COMMITTER_EMAIL" = "$OLD_EMAIL" ]
then
    export GIT_COMMITTER_EMAIL="$NEW_EMAIL"
fi
if [ "$GIT_AUTHOR_EMAIL" = "$OLD_EMAIL" ]
then

patrislav1

---
BasedOnStyle: Chromium

IndentWidth: 4

IncludeCategories:
  - Regex:           '<[a-zA-Z0-9_]+>' # standard headers (no extension)
    Priority:        2
  - Regex:           '<[a-zA-Z0-9/]+\.(h|hpp)>' # library headers (with extension)
    Priority:        3

patrislav1

#!/usr/bin/env python3

import re
import sys
import subprocess


def get_commit_hash(repo_url, version_tag):
    command = ["git", "ls-remote", "--tags", "--refs", repo_url]
    result = subprocess.run(command, capture_output=True, text=True)

patrislav1

for remote in $(git remote); do
  oldurl=$(git remote get-url $remote);
  newurl=$(echo $oldurl | sed 's?^https://?git@?' | sed 's?/?:?').git;
  echo $remote: $oldurl -\> $newurl;
  git remote set-url $remote $newurl;
done