diff --git a/docs/2023-07-01-pastebin.html b/docs/2023-07-01-pastebin.html index afee29c..deefe35 100644 --- a/docs/2023-07-01-pastebin.html +++ b/docs/2023-07-01-pastebin.html @@ -387,6 +387,24 @@ rsync -avzP src/ dst in src, useful to sync dst with src +

+ atuin +

+

Remove duplicated command:

+
+
delete
+from history
+where id not in (select max(id)
+                 from history
+                 group by command);
+