In linux, I thought that the file
Makefile is changed after I run
But when I diff
Makefile, I don't see any difference.
Which file is changed after I do
In general, after a
As said by @Lekensteyn, the previous config file will be renamed in
In general, you may use
to find files, modified in the last 10 Minutes yourself in said directory. This would lead to the result Cédric Julien gave: .config.