Bug#942333: RFP: osc2midi -- Highly flexible and configurable OSC / JACK MIDI bridge

2019-10-14 Thread Fernando Toledo
Package: wnpp Severity: wishlist X-Debbugs-CC: debian-devel@lists.debian.org --- Please fill out the fields below. --- Package name: osc2midi Version: 0.2.5 Upstream Author: Spencer Jackson URL: https://github.com/ssj71/OSC2MIDI License: GPL-3 Description: OSC2M

Bug#942321: ITP: fort-validator -- An RPKI Validator and RTR Server

2019-10-14 Thread Marco d'Itri
Package: wnpp Severity: wishlist Owner: Marco d'Itri * Package name: fort-validator Version : 1.0.0 Upstream Author : NIC MX and LACNIC * URL : https://nicmx.github.io/FORT-validator/ * License : MIT Programming Lang: C Description : An RPKI Validator a

Bug#942317: ITP: euslisp -- Lisp based integrated programming system for intelligent robots

2019-10-14 Thread Kei Okada
Package: wnpp Severity: wishlist Owner: Kei OKADA X-Debbugs-CC: debian-devel@lists.debian.org, debian-de...@lists.debian.or.jp * Package name: euslisp Version: 9.26 Upstream Author: Toshihiro Matsu , * URL: https://github.com/euslisp/EusLisp License: BSD Description: EusLisp is an integrat

Re: Init systems and docker

2019-10-14 Thread Anuradha Weeraman
On Fri, Oct 11, 2019 at 06:49:37PM -0400, Scott Kitterman wrote: > I have been told by docker users (I'm not one) that systemd as provided on > Debian can't be used in docker. I have no idea if that's true or not. I try > really hard to know as little about init systems as possible and trust ou

Re: Init systems and docker

2019-10-14 Thread Jose-Luis Rivas
On 10/14/19 05:49, Marc Haber wrote: > > So, +1 to be able to run a default systemd-based Debian with systemd > as pid 1 in a docker container. Hi Marc, you can do this already. As explained somewhere else in the thread, just run docker run with the --privilege flag. Cheers. -- __.h

Bug#942310: ITP: gnome-shell-extension-arc-menu -- shell extension designed to replace the standard menu found in GNOME

2019-10-14 Thread Jonathan Carter
Package: wnpp Severity: wishlist Owner: Jonathan Carter * Package name: gnome-shell-extension-arc-menu Version : 34.2-dev Upstream Author : LinxGem33 (https://gitlab.com/LinxGem33) * URL : https://gitlab.com/LinxGem33/Arc-Menu * License : GPL-2+ Programming L

Re: Init systems and docker

2019-10-14 Thread Marc Haber
On Fri, 11 Oct 2019 19:25:54 -0400, Jose-Luis Rivas wrote: >There's not much sense in using systemd inside a docker container, to be >honest. Generally you want to launch your service as custom as possible >and the ENTRYPOINT allows you to do just that. Docker already sends the >SIGKILL to the PID