Skip to content

Instantly share code, notes, and snippets.

View KristianKarl's full-sized avatar

Kristian Karl KristianKarl

  • Stockholm
View GitHub Profile
@KristianKarl
KristianKarl / gist:41a6d3d02036dc861461d617b483f15f
Created October 3, 2019 12:25
PrestaShop: prestashop-git | cp: cannot stat '/tmp/data-ps/prestashop/*': No such file or directory
$ git clone https://github.com/PrestaShop/PrestaShop
Cloning into 'PrestaShop'...
remote: Enumerating objects: 312, done.
remote: Counting objects: 100% (312/312), done.
remote: Compressing objects: 100% (224/224), done.
remote: Total 537903 (delta 162), reused 174 (delta 82), pack-reused 537591
Receiving objects: 100% (537903/537903), 387.53 MiB | 24.37 MiB/s, done.
Resolving deltas: 100% (359478/359478), done.
yoga:/home/krikar/dev/SAST
$ cd PrestaShop
{
"name": "Shared state example.",
"models": [
{
"name": "FirstModel",
"generator": "quick_random(vertex_coverage(100))",
"startElementId": "v0",
"actions": [
"global.available = true"
],
@KristianKarl
KristianKarl / ActionAndGuard.json
Created March 25, 2020 07:40
Action and guard example
{
"models": [
{
"edges": [
{
"id": "428252c0-6e69-11ea-a7bb-83cbb6bc6f6f",
"name": "e_Login",
"sourceVertexId": "2505cce0-6e69-11ea-a7bb-83cbb6bc6f6f",
"targetVertexId": "2863c4f0-6e69-11ea-a7bb-83cbb6bc6f6f"
},
@KristianKarl
KristianKarl / issue195.json
Created February 26, 2021 08:15
Model file for graphwalker issue 195
{
"models": [
{
"edges": [
{
"id": "1b128750-7809-11eb-8b50-13ac081fda51",
"name": "e_ZtoB",
"sourceVertexId": "085ea030-7809-11eb-8b50-13ac081fda51",
"targetVertexId": "097148b0-7809-11eb-8b50-13ac081fda51",
"actions": [
@KristianKarl
KristianKarl / gist:cbf1e62c3fdfbd7bfa7bb97bbd57ccd4
Created April 29, 2022 08:59
Log output from digiKam-7.7.0-20220427T043335-x86-64.appimage
Select the attached video in thumbnail view, and then open the dialog "Adjust Time & Date"
Digikam: digiKam-7.7.0-20220427T043335-x86-64.appimage
==========================================
>Digikam::ActionThreadBase::run: Action Thread run 1 new jobs
>Digikam::DMetadata::loadUsingFFmpeg: Parse metadada with FFMpeg: "/home/krikar/Pictures/tmp/2022-04-27_181056.mp4"
>Digikam::DMetadata::loadUsingFFmpeg: -- FFMpeg video stream metadata entries :
>Digikam::DMetadata::loadUsingFFmpeg: QMap(("creation_time", "2022-04-27T16:09:38.000000Z")("handler_name", "VideoHandle")("language", "eng"))
>Digikam::DMetadata::loadUsingFFmpeg: -----------------------------------------
>Digikam::DMetadata::loadUsingFFmpeg: -- FFMpeg audio stream metadata entries :
>Digikam::DMetadata::loadUsingFFmpeg: QMap(("creation_time", "2022-04-27T16:09:38.000000Z")("handler_name", "SoundHandle")("language", "eng"))