Skip to content

Instantly share code, notes, and snippets.

View gdetrez's full-sized avatar
🏠
Working from home

Grégoire Détrez gdetrez

🏠
Working from home
  • Gothenburg, Sweden
View GitHub Profile
@gdetrez
gdetrez / README.md
Last active January 12, 2022 16:34
podman log

Podman log

This is the output of podman system service --log-level=debug -t=0 while running the following docker-compose commands:

docker-compose up -d
docker-compose exec ubuntu ls

Issue: containers/podman#11081

def sum(xs):
def aux(xs):
try:
x = next(xs)
return x + aux(xs)
except StopIteration:
return 0
return aux(iter(xs))
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.
@gdetrez
gdetrez / igf.ipynb
Last active August 29, 2015 14:24
iGF Demo
Sorry, something went wrong. Reload?
Sorry, we cannot display this file.
Sorry, this file is invalid so it cannot be displayed.

Keybase proof

I hereby claim:

  • I am gdetrez on github.
  • I am gregoire (https://keybase.io/gregoire) on keybase.
  • I have a public key whose fingerprint is C6DA 50D9 2B6A BE73 513B 0B30 B971 AFBB 606C 3402

To claim this, I am signing this object:

CREATE OR REPLACE TRIGGER BidHighEnough
BEFORE INSERT ON Bids
REFERENCING NEW AS new
FOR EACH ROW
DECLARE numHigherBids INT;
BEGIN
SELECT COUNT(amount) INTO numHigherBids
FROM Bids
WHERE item = :new.item AND amount > :new.amount;
@gdetrez
gdetrez / data.xml
Last active December 31, 2015 15:59
<?xml version="1.0" encoding="UTF-8"?>
<A a1="A1">
<B b1="B1" b2="15">
<C c1="red">first</C>
</B>
<B b1="B2">
<C c1="green">second</C>
</B>
<B b1="B3" b2="25">
<C c1="blue">third</C>
abstract A = { cat S ; }
@gdetrez
gdetrez / aaaostneuhnt.gf
Created August 20, 2013 12:56
test for gface
abstract abcd = {}
This file has been truncated, but you can view the full file.
<changelog>
<patch author='hallgren@chalmers.se' date='20130725160443' local_date='Thu Jul 25 18:04:43 CEST 2013' inverted='False' hash='20130725160443-bae10-902fdf62b1c1e616ae0dfc7ccf6e502db6a1fd80'>
<name>Allow cross origin requests to GF cloud &amp; PGF services</name>
<comment>Ignore-this: bc3cf05fa68c6cc1670b66fa7613d2d9
By adding a header
Access-Control-Allow-Origin: *
to the HTTP responses, web browsers are informed that it is OK to call the
services from web pages hosted on other sites.