Skip to content

Instantly share code, notes, and snippets.

View gabrielebonfim's full-sized avatar
👩‍💻
Working

Gabriele A. gabrielebonfim

👩‍💻
Working
  • Rio Branco, Acre, Brasil
View GitHub Profile
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 September 27, 2022 16:53
uncommiting last unpushed local commit
# solution by isantipov in https://stackoverflow.com/a/19859644
git reset HEAD~1 --soft
@gabrielebonfim
gabrielebonfim / .bashrc
Last active September 26, 2022 21:44
git-branch-with-colours-in-bash-prompt
# 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\]\$ '