gmdias727

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

gmdias727

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

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

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

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

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

gmdias727

# 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!

gmdias727

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)

gmdias727

clear lock
clear mod3
clear mod4
keycode 66 = Hyper_L NoSymbol Hyper_L
add mod3 = Hyper_L
add mod4 = Super_R

gmdias727

sudo apt update -y

sudo apt install mysql-server

systemctl is-active mysql

sudo mysql_secure_installation

mysql -u root -p