Skip to content

Instantly share code, notes, and snippets.

Avatar

Gabriel Dias Mazieri grandehe4rt

View GitHub Profile
View podman_examples
podman search rhel
podman pull rhel
podman images
podman run ubi7/ubi:7.7 echo "Hello!"
podman run -d rhscl/httpd-24-rhel7:2.4-36.8
curl http://10.88.0.68:8080
podman run -it ubi7/ubi:7.7 /bin/bash
podman run -e GREET=Hello -e NAME=RedHat rhel7:7.5 printenv GREET NAME
podman run --name mysql-custom -e MYSQL_USER=redhat -e MYSQL_PASSWORD=r3dh4t -d rhmap47/mysql:5.5
View coq_language_server_log.md
Coq Language Server: process.version: v16.14.2, process.arch: x64}
Loaded project at /home/grandehe4rt/dev/ocaml/test
Updated project root to .
Coqtop binPath is: /home/grandehe4rt/.opam/default/bin/
View vscoq.md

A extensão VSCoq não funciona.

Hipóteses

  • A linguagem Coq não foi instalada corretamente.

    • Me certifiquei de que a linguagem Coq está instalada corretamente pois após rodar o comando yay -S coq e opam install coq foi feita a instalação sem maiores problemas ou mensagens de aviso que indicassem alguma falha.
    • O REPL do Coq funciona perfeitamente pelo terminal quando é chamado.
    • O CoqIDE funciona perfeitamente quando é chamado pelo terminal ou pelo ícone do gnome.
  • A instalação da linguagem está em conflito com uma ou mais instalações e/ou dependências.

    • Notei que instalar Coq em dois lugares diferentes podia vir a causar problemas então desinstalei com yay -R coq e mantive a versão instalada com opam install coq.
    • Descobri que eu preciso do binário que é instalado via opam, portanto opam install coq foi a decisão correta de instalação a se manter.
View Reunião_Turtle.md

Diretoria -> Estratégia

Assessoria ->

Gerencia -> Execução / Merge / Planejamento

Projeto -> Validação / Requisitos / Mockup no Figma -> Planejar desenvolvimento / CRUD's -> Montar Pipefy com as tasks -> Pré-projeto / Gerir/Apresentar projeto para a equipe/time

Pontos

  • Weekly? Daily?
View i3status.config
order += "tztime local"
order += "disk /"
order += "cpu_usage"
order += "battery 0"
order += "memory"
tztime local { format = "💜 Hour: %l:%M:%S 💜 Date:%d-%m-%Y" }
general {
colors = true
View i3_config
# This file has been auto-generated by i3-config-wizard(1).
# It will not be overwritten, so edit it as you like.
#
# Should you change your keyboard layout some time, delete
# this file and re-run i3-config-wizard(1).
#
# i3 config file (v4)
#
# Please see https://i3wm.org/docs/userguide.html for a complete reference!
View Profile.md

Por favor responda estas seguintes perguntas: (dê preferência por respondar logo abaixo deste gist e tente ser breve em suas respostas)

  • Primeiro nome:

  • qual o seu discord? (para entrarmos em contato quando necessário)

  • qual seu email? (para te adicionarmos ao pipefy que será o nosso backlog de tarefas)

  • faz faculdade? (para sabermos lidar melhor com seus horários)

View .Xmodmap
clear lock
clear mod3
clear mod4
keycode 66 = Hyper_L NoSymbol Hyper_L
add mod3 = Hyper_L
add mod4 = Super_R
View member_management_system.md

Sumário

  1. | Introdução
    • 1.1 | Propósito
    • 1.2 | Escopo de Projeto
    • 1.3 | Visão Geral
  2. | Descrição Geral
    • 2.1 | Funções da Aplicação
  3. | Requisitos Funcionais
  4. | Regras de Negócio