August 22, 2023

Remove a file from the last commit


$ git reset --soft HEAD^

Unstage the file that should be removed from the commit:

$ git restore --staged file

Commit again:

$ git commit -m "Message of the commit"

You are done.

Git is copyleft-licensed and was first released in 20051.

See also:

  1. $ less /usr/share/doc/git/copyright↩︎


I do self-funded research and I'm writing a book.

> What's the book about?

About technologies and agency.

Meaning, technologies can foster agency. No doubt. But I am also asking:

Can usage of technologies give us a sense of empowerment while in fact undermining our abilities?

I posted a summary of the prologue on the homepage:


personal computing command-line interface (cli) gnu linux trisquel shell literacy office applications wiki git

No affiliate links, no analytics, no tracking, no cookies. This work © 2016-2024 by is licensed under CC BY-ND 4.0 .   about me   contact me   all entries & tags   FAQ   GPG public key

GPG fingerprint: 2E0F FB60 7FEF 11D0 FB45 4DDC E979 E52A 7036 7A88