Michael Albinus
035931777b
Add renaming of remote buffer file names to Tramp
* doc/misc/tramp.texi (Default User): Fix typo.
(Cleanup remote connections): Adapt arguments of
`tramp-cleanup-connection'.
(Renaming remote files): New node.
(Frequently Asked Questions): New item "How to save files when a
remote host isn't reachable anymore?".
* etc/NEWS: Add `tramp-rename-files' and `tramp-rename-these-files'.
* lisp/net/tramp-cmds.el (tramp-default-rename-alist)
(tramp-confirm-rename-file-names): New defcustoms.
(tramp-rename-read-file-name-dir)
(tramp-rename-read-file-name-init): New defsubsts.
(tramp-default-rename-file, tramp-rename-files)
(tramp-rename-these-files): New defuns.
* lisp/net/tramp-integration.el (ido, ivy): Integrate with them.
2019-11-20 13:45:30 +01:00
..
2019-09-23 00:12:52 -07:00
2019-10-22 18:06:01 +02:00
2019-01-01 01:02:40 +00:00
2019-08-06 13:59:28 +02:00
2019-11-09 12:09:30 +00:00
2019-01-01 01:01:13 +00:00
2019-11-10 15:04:20 -08:00
2019-09-23 00:12:52 -07:00
2019-08-20 09:01:55 -07:00
2017-10-01 18:31:10 -07:00
2019-01-01 01:02:40 +00:00
2019-03-09 10:07:46 -08:00
2019-05-26 01:00:16 -07:00
2019-10-28 15:55:10 +01:00
2019-11-08 15:43:08 +01:00
2019-10-24 01:08:30 +02:00
2019-09-23 00:12:52 -07:00
2019-09-23 00:12:52 -07:00
2019-10-28 15:55:10 +01:00
2019-09-23 00:12:52 -07:00
2019-10-17 13:56:42 +02:00
2019-09-29 18:32:45 +02:00
2019-10-17 13:56:42 +02:00
2019-09-23 00:12:52 -07:00
2019-10-07 03:02:07 +01:00
2019-11-02 16:38:53 +00:00
2019-07-20 12:53:10 +03:00
2019-03-05 22:27:35 -08:00
2019-10-28 15:55:10 +01:00
2019-11-20 12:05:11 +01:00
2017-10-01 18:31:10 -07:00
2019-10-17 13:56:42 +02:00
2019-01-01 01:02:40 +00:00
2019-08-30 10:23:17 +03:00
2019-08-27 23:48:57 +03:00
2019-01-01 01:02:40 +00:00
2019-08-20 15:36:08 -07:00
2019-09-23 00:12:52 -07:00
2019-09-23 00:12:52 -07:00
2019-09-23 00:12:52 -07:00
2019-04-10 19:33:21 -04:00
2019-01-01 01:02:40 +00:00
2019-09-23 00:12:52 -07:00
2019-10-28 15:55:10 +01:00
2019-03-05 21:55:09 -08:00
2019-06-01 20:01:43 -04:00
2019-05-25 13:02:05 -04:00
2019-10-17 13:56:42 +02:00
2019-03-05 21:55:09 -08:00
2019-04-21 14:56:04 +03:00
2019-06-27 18:13:18 +02:00
2019-01-01 01:02:40 +00:00
2019-01-01 01:02:40 +00:00
2019-10-17 13:56:42 +02:00
2019-09-17 01:26:43 +02:00
2019-10-22 00:39:25 +02:00
2019-10-28 15:55:10 +01:00
2019-10-11 18:24:19 -07:00
2019-01-01 01:01:13 +00:00
2019-11-20 13:45:30 +01:00
2019-07-12 15:04:55 +02:00
2019-10-14 06:46:47 +02:00
2019-01-01 01:02:40 +00:00
2019-01-01 01:02:40 +00:00
2019-10-17 13:56:42 +02:00
2019-10-16 15:39:42 +02:00
2019-09-23 00:12:52 -07:00
2019-01-01 01:02:40 +00:00