gabrielebonfim

# 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\]\$ '

gabrielebonfim

# solution by isantipov in https://stackoverflow.com/a/19859644

git reset HEAD~1 --soft

gabrielebonfim

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