Skip to content

Instantly share code, notes, and snippets.

Avatar
👩‍💻
Working

Gabriele Alves gabrielebonfim

👩‍💻
Working
View GitHub Profile
View historico.sql
SELECT
ND.NOME AS disciplina,
PT.PERIODO AS periodo,
AC.TURNOATUAL AS turnoAtual,
D.CARGAHORARIATOTAL AS cargaHorariaTotal,
N.MEDIAFINAL AS mediaFinal,
PE.NOME AS docenteNome,
PE.CPF AS docenteCPF,
DPA.SITUACAO AS alunoSituacao,
CASE
@gabrielebonfim
gabrielebonfim / .bash
Created Sep 27, 2022
uncommiting last unpushed local commit
View .bash
# solution by isantipov in https://stackoverflow.com/a/19859644
git reset HEAD~1 --soft
@gabrielebonfim
gabrielebonfim / .bashrc
Last active Sep 26, 2022
git-branch-with-colours-in-bash-prompt
View .bashrc
# Show git branch name
# Created by Sam in https://askubuntu.com/a/946716
force_color_prompt=yes
color_prompt=yes
parse_git_branch() {
git branch 2> /dev/null | sed -e '/^[^*]/d' -e 's/* \(.*\)/(\1)/'
}
if [ "$color_prompt" = yes ]; then
PS1='${debian_chroot:+($debian_chroot)}\[\033[01;32m\]\u@\h\[\033[00m\]:\[\033[01;34m\]\w\[\033[01;31m\]$(parse_git_branch)\[\033[00m\]\$ '