~/.local/share/gnome-shell$ ll
1231 Jan 31 10:26 application_state
4096 Jan 10 17:58 extensions/
0 Aug 5 16:04 gnome-overrides-migrated
I applied this extension in Jan 10 17:58.
Should i just remove folder "extensions"?
Because every file in this folder created/updated in Jan 10 17:58.
4014 Jan 10 17:58 convenience.js
9205 Jan 10 17:58 extension.js
4096 Jan 10 17:58 icons/
3571 Jan 10 17:58 indicator.js
4096 Jan 10 17:58 locale/
402 Jan 10 17:58 metadata.json
14283 Jan 10 17:58 mmcalendar.js
8060 Jan 10 17:58 mmlayout.js
27011 Jan 10 17:58 mmoverview.js
19420 Jan 10 17:58 mmpanel.js
1884 Jan 10 17:58 multi-monitors-add-on.pot
10636 Jan 10 17:58 prefs.js
4096 Jan 10 17:58 schemas/
451 Jan 10 17:58 stylesheet.css
~/.local/share/gnome-shell$ ll 1231 Jan 31 10:26 application_state 4096 Jan 10 17:58 extensions/ 0 Aug 5 16:04 gnome-overrides-migrated
I applied this extension in Jan 10 17:58.
Should i just remove folder "extensions"? Because every file in this folder created/updated in Jan 10 17:58.
4014 Jan 10 17:58 convenience.js 9205 Jan 10 17:58 extension.js 4096 Jan 10 17:58 icons/ 3571 Jan 10 17:58 indicator.js 4096 Jan 10 17:58 locale/ 402 Jan 10 17:58 metadata.json 14283 Jan 10 17:58 mmcalendar.js 8060 Jan 10 17:58 mmlayout.js 27011 Jan 10 17:58 mmoverview.js 19420 Jan 10 17:58 mmpanel.js 1884 Jan 10 17:58 multi-monitors-add-on.pot 10636 Jan 10 17:58 prefs.js 4096 Jan 10 17:58 schemas/ 451 Jan 10 17:58 stylesheet.css