Skip to content

Instantly share code, notes, and snippets.

View anselmobattisti's full-sized avatar
🇧🇷
Aqui é Brasil!

Anselmo Battisti anselmobattisti

🇧🇷
Aqui é Brasil!
View GitHub Profile
@anselmobattisti
anselmobattisti / gist:44987dcab84ffe8aef83b1332d9259d5
Created August 14, 2021 17:41
Allow expired ssl certificate for git repository
# If you already downloaded the repo, inside de folder run in the folder
git config http.sslVerify false
# If you will download the repo, checkout the repo using -c http.sslVerify=false like
git -c http.sslVerify=false clone repo_url/git
@anselmobattisti
anselmobattisti / mochila.py
Created December 29, 2020 02:21
Implementação do problema das múltiplas mochilas em Python.
from mip import *
import random
# Constantes
RANDOM_SEED = 1
NUM_PRODUTOS = 10
NUM_MOCHILAS = 2
# Variável que armazena os Dados
produtos = {}
#!/usr/bin/python
from mininet.net import Mininet
from mininet.node import Controller, RemoteController, OVSController
from mininet.node import CPULimitedHost, Host, Node
from mininet.node import OVSKernelSwitch, UserSwitch
from mininet.cli import CLI
from mininet.log import setLogLevel, info
from mininet.link import TCLink, Intf, OVSLink
from subprocess import call
#!/bin/bash
rm /etc/netplan/00-installer-config.yaml
echo "
network:
version: 2
renderer: networkd
ethernets:
enp0s3:
dhcp4: false
# Verify if the VDI can be resized using the command.
VBoxManage showhdinfo Ubuntu 19.04.vdi
# The result will be
UUID: 5a382024-85c8-4828-ac12-9a4f260ed8be
Parent UUID: base
State: created
Type: normal (base)
Location: Ubuntu 19.04.vdi
Storage format: VDI
@anselmobattisti
anselmobattisti / videomixer
Created October 4, 2019 23:51
get two videos from udp src and stream it combined using videomixer and send it using udpsink
gst-launch-1.0 \
videomixer name=m sink_1::xpos=10 sink_1::ypos=10 sink_2::xpos=170 sink_2::ypos=10 \
! x264enc \
! rtph264pay \
! udpsink host=localhost port=5000 \
videotestsrc pattern=white \
! video/x-raw, format=I420, framerate=5/1, width=330, height=170 \
! m. \
udpsrc port=10001 caps = "application/x-rtp, media=(string)video, clock-rate=(int)90000, encoding-name=(string)H264, payload=(int)96" \
! rtph264depay \
@anselmobattisti
anselmobattisti / side_by_side
Created October 4, 2019 21:37
Combine two videos and place than side by side gstreamer
gst-launch-1.0 \
videomixer name=m sink_1::xpos=50 sink_1::ypos=50 sink_2::xpos=400 sink_2::ypos=50 \
! x264enc \
! rtph264pay \
! udpsink host=localhost port=5000 \
videotestsrc pattern=white \
! video/x-raw, format=I420, framerate=5/1, width=740, height=480 \
! m. \
videotestsrc pattern=red \
! videobox left=100 \
@anselmobattisti
anselmobattisti / gstremaer_links_list
Last active September 26, 2019 22:25
List os links about gstreamer
@anselmobattisti
anselmobattisti / Gstreamer Stream a mp3 audio via UDP to multiple hosts via queue
Created September 22, 2019 12:54
Gstreamer Stream a mp3 audio via UDP to multiple hosts via queue
gst-launch-1.0 multifilesrc location=sample.mp3 loop=true \
! tee name=t \
! queue \
! mpegaudioparse \
! mpg123audiodec \
! audioconvert \
! audioresample \
! audio/x-raw, rate=16000, channels=1, format=S16LE \
! audiomixer blocksize=320 \
! udpsink host=localhost port=10000 \