Skip to content

Instantly share code, notes, and snippets.

View gmdias727's full-sized avatar

Gabriel Mazieri gmdias727

222 followers · 542 following
View GitHub Profile
@gmdias727
gmdias727 / member_management_system.md
Last active March 1, 2023 00:05

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
@gmdias727
gmdias727 / Reunião_Turtle.md
Last active January 29, 2023 15:56

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?
@gmdias727
gmdias727 / vscoq.md
Last active January 26, 2023 00:26

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.
@gmdias727
gmdias727 / coq_language_server_log.md
Last active January 25, 2023 16:55 
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/
@gmdias727
gmdias727 / podman_examples
Created October 26, 2022 01:25 — forked from jclaret/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