Skip to content

Instantly share code, notes, and snippets.

View tkruse's full-sized avatar

Thibault Kruse tkruse

  • indeed.com
  • Tokyo
View GitHub Profile
@tkruse
tkruse / Dockerfile
Created September 30, 2016 10:09
Dockerfile for presentation
FROM centos:centos7
RUN yum update -y
RUN yum install -y wget && wget --no-check-certificate --no-cookies --header "Cookie: oraclelicense=accept-securebackup-cookie" http://download.oracle.com/otn-pub/java/jdk/8u11-b12/jdk-8u11-linux-x64.rpm
RUN rpm -ivh jdk-8u11-linux-x64.rpm && rm jdk-8u11-linux-x64.rpm
RUN \
yum clean metadata && \
yum -y install epel-release && \
yum clean metadata && \
yum -y install which make tar rpm-build yum-utils python-argparse python-yaml gcc gcc-c++ createrepo git-all python-jinja2 ruby-rdoc ruby-devel rubygems glib*&& \
#! /usr/bin/env python
# PoC Ros2Names parsing using EBNF and Grako (install from pypi)
# Tested with grako 3.14.0
#
import grako
POSITIVES = "foo", "abc123", "_foo", "Foo", "BAR", "~", "foo/bar", "~/foo", "{foo}_bar", "foo/{ping}/bar", "foo/_/bar", "rosservice:///foo", "rostopic://foo/bar"
diff --git a/samples/chromium-sample/simple.def b/samples/chromium-sample/simple.def
index 96b57ee..d9a98b7 100644
--- a/samples/chromium-sample/simple.def
+++ b/samples/chromium-sample/simple.def
@@ -3,7 +3,6 @@ src/*
src/chrome_content_renderer_client.cc:113: Include the directory when naming .h files [build/include_subdir] [4]
src/chrome_content_renderer_client.cc:1156: Use int16/int64/etc, rather than the C type long [runtime/int] [4]
src/chrome_content_renderer_client.cc:1161: Use int16/int64/etc, rather than the C type long [runtime/int] [4]
-src/chrome_content_renderer_client.cc:5: samples/chromium-sample/src/chrome_content_renderer_client.cc should include its header file samples/chromium-sample/src/chrome_cont
ent_renderer_client.h [build/include] [5]
{"apiVersion":"2.4-SNAPSHOT","apis":[{"description":"getGateway","operations":[{"method":"GET","summary":"Get gateway attributes by the specified deviceId","notes":"All names are for display purposes only, not Business Keys or Ids. While currently maximally one Business Unit can be returned, the strucutre allows multiple return values in case the funtion is changed to also return all Business Units of attached equipments.","nickname":"getGateway","produces":["*/*"],"consumes":["application/json"],"parameters":[{"allowMultiple":false,"defaultValue":"","description":"A unique identifier of a gateway","name":"deviceId","paramType":"path","type":"string","required":true}],"responseMessages":[{"code":200,"message":null,"responseModel":"GatewayJson"},{"code":401,"message":"Access forbidden","responseModel":"Void"},{"code":404,"message":"Unknown deviceId","responseModel":"Void"}],"deprecated":"false","type":"GatewayJson"}],"path":"/deviceManagement/gateways/{deviceId}"},{"description":"invalidateCurrentOpenVPNCertif
{"apiVersion":"2.4-SNAPSHOT","apis":[{"description":"publishConnectionChangeEvent","operations":[{"method":"POST","summary":"Publish an update of the gateway connection state","notes":"The API allows updating with the same value multiple times.","nickname":"publishConnectionChangeEvent","produces":["*/*"],"consumes":["application/json"],"parameters":[{"allowMultiple":false,"defaultValue":"","description":"connectionState","name":"body","paramType":"body","type":"ConnectionStateChangeEventJson","required":false}],"responseMessages":[{"code":200,"message":null,"responseModel":"ResultJson"},{"code":401,"message":"Operation not allowed","responseModel":"Void"},{"code":404,"message":"Unknown deviceId","responseModel":"Void"}],"deprecated":"false","type":"ResultJson"}],"path":"/deviceManagement/connectionState"},{"description":"getGateway","operations":[{"method":"GET","summary":"Get gateway attributes by the specified deviceId","notes":"All names are for display purposes only, not Business Keys or Ids. The structu
{"apiVersion":"2.4-SNAPSHOT","apis":[{"description":"publishConnectionChangeEvent","operations":[{"method":"POST","summary":"Publish an update of the gateway connection state","notes":"The API allows updating with the same value multiple times.","nickname":"publishConnectionChangeEvent","produces":["*/*"],"consumes":["application/json"],"parameters":[{"allowMultiple":false,"defaultValue":"","description":"connectionState","name":"body","paramType":"body","type":"ConnectionStateChangeEventJson","required":false}],"responseMessages":[{"code":200,"message":null,"responseModel":"ResultJson"},{"code":401,"message":"Operation not allowed","responseModel":"Void"},{"code":404,"message":"Unknown deviceId","responseModel":"Void"}],"deprecated":"false","type":"ResultJson"}],"path":"/deviceManagement/connectionState"},{"description":"getGateway","operations":[{"method":"GET","summary":"Get gateway attributes by the specified deviceId","notes":"All names are for display purposes only, not Business Keys or Ids. The structu
{"apiVersion":"2.4-SNAPSHOT","apis":[{"description":"initializeGateway","operations":[{"method":"POST","summary":"Initialize Gateway data during production process","notes":"To be invoked by Gateway producers. Can only be invoked once for same serial number.Certificate expiry is configured as a property on the server. After this call, the deviceManagement and OpenVPN server must accept connections with the given certificates.","nickname":"initializeGateway","produces":["*/*"],"consumes":["application/json"],"parameters":[{"allowMultiple":false,"defaultValue":"","description":"gatewayParamsIn","name":"body","paramType":"body","type":"NewGatewayJsonIn","required":false}],"responseMessages":[{"code":200,"message":null,"responseModel":"NewGatewayJsonOut"},{"code":400,"message":"Invalid mac address / cipher type / gateway category / gateway type, Serial number or MAC adress already used","responseModel":"Void"},{"code":401,"message":"Operation not allowed","responseModel":"Void"},{"code":404,"message":"Unknown bus
{"apiVersion":"2.4-SNAPSHOT","apis":[{"description":"publishConnectionChangeEvent","operations":[{"method":"POST","summary":"Publish an update of the gateway connection state","notes":"The API allows updating with the same value multiple times.","nickname":"publishConnectionChangeEvent","produces":["*/*"],"consumes":["application/json"],"parameters":[{"allowMultiple":false,"defaultValue":"","description":"connectionState","name":"body","paramType":"body","type":"ConnectionStateChangeEventJson","required":false}],"responseMessages":[{"code":200,"message":null,"responseModel":"ResultJson"},{"code":401,"message":"Operation not allowed","responseModel":"Void"},{"code":404,"message":"Unknown deviceid","responseModel":"Void"}],"deprecated":"false","type":"ResultJson"}],"path":"/deviceManagement/connectionState"},{"description":"getGateway","operations":[{"method":"GET","summary":"Get gateway attributes by the specified deviceId","notes":"All names are for display purposes only, not Business Keys or Ids. The structu
{"apiVersion":"2.4-SNAPSHOT","apis":[{"description":"publishConnectionChangeEvent","operations":[{"method":"POST","summary":"Publish a change of the gateway connection state","notes":"publishConnectionChangeEvent","nickname":"publishConnectionChangeEvent","produces":["*/*"],"consumes":["application/json"],"parameters":[{"allowMultiple":false,"defaultValue":"","description":"connectionState","name":"body","paramType":"body","type":"ConnectionStateChangeEventJson","required":false}],"responseMessages":[{"code":200,"message":null,"responseModel":"ResultJson"}],"deprecated":"false","type":"ResultJson"}],"path":"/deviceManagement/connectionState"},{"description":"getGateway","operations":[{"method":"GET","summary":"Get gateway attributes by the specified deviceId","notes":"getGateway","nickname":"getGateway","produces":["*/*"],"consumes":["application/json"],"parameters":[{"allowMultiple":false,"defaultValue":"","description":"A unique identifier of a gateway","name":"deviceId","paramType":"path","type":"string","
{"apiVersion":"2.4-SNAPSHOT","apis":[{"description":"initializeGateway","operations":[{"method":"POST","summary":"initializeGateway","notes":"initializeGateway","nickname":"initializeGateway","produces":["*/*"],"consumes":["application/json"],"parameters":[{"allowMultiple":false,"defaultValue":"","description":"unit","name":"body","paramType":"body","type":"NewGatewayJsonIn","required":false}],"responseMessages":[{"code":200,"message":null,"responseModel":"NewGatewayJsonOut"},{"code":400,"message":"Invalid mac address / cipher type / gateway category / gateway type","responseModel":"Void"},{"code":401,"message":"Operation not allowed","responseModel":"Void"},{"code":404,"message":"Unknown business unit key / location","responseModel":"Void"}],"deprecated":"false","type":"NewGatewayJsonOut"}],"path":"/factory/gateway/initialize"}],"basePath":"/api","consumes":["application/json"],"models":{"NewGatewayJsonOut":{"description":"","id":"NewGatewayJsonOut","properties":{"serialNumber":{"description":"unique lifelon