Как удалить запись из истории команд?

Столкнулись с проблемой в использовании макросов? Здесь можно получить помощь.
fml2
Posts: 534
Joined: Mon 09 Jul, 2012 22:10
Has thanked: 2 times
Been thanked: 8 times

Re: Как удалить запись из истории команд?

Post by fml2 »

Latest post of the previous page:

zg wrote:надо закрывать, да.
Либо вы выросли в махровые советские времена, либо вы системный администратор: основное решение проблем -- взять и запретить :-)
Но мне кажется, что перед фаровским АПИ не должна стоять задача обеспечить невозможность нанесения плагинами вреда. Ибо такая задача, скорее всего, невыполнима. Ведь, насколько я понимаю, плагины могут пользоваться и другими АПИ и работать с файловой системой напрямую (или это не так?). Либо надо отменять плагины как таковые, либо разрешать им все, что они хотят. Я не говорю, что надо делать огромный АПИ впрок. Но если возникла конкретная потребность, то почему бы его и не расширить?

Интересно, что думают по этому поводу другие разработчики. Мне кажется, это вопрос не технический, а вопрос подхода.
Shmuel
Posts: 6820
Joined: Thu 23 Mar, 2006 21:36
Location: Israel
Has thanked: 41 times
Been thanked: 528 times

Re: Как удалить запись из истории команд?

Post by Shmuel »

fml2 wrote:Интересно, что думают по этому поводу другие разработчики. Мне кажется, это вопрос не технический, а вопрос подхода.
Вы воспринимаете слишком всерьёз группу последних сообщений в этой ветке. Иногда разработчикам и пошутить хочется.
User avatar
DrKnS
Posts: 6114
Joined: Thu 04 Aug, 2005 06:44
Location: Kyiv
Has thanked: 12 times
Been thanked: 426 times

Re: Как удалить запись из истории команд?

Post by DrKnS »

2useven10 wrote:
но в любом случае, да, одна дыра есть, надо закрывать, да.
да, надо отменить луа.
Ну луа хз, а вот запретить искаропки грузить dll откуда попало, в т. ч. по load: - надо, да.
fml2
Posts: 534
Joined: Mon 09 Jul, 2012 22:10
Has thanked: 2 times
Been thanked: 8 times

Re: Как удалить запись из истории команд?

Post by fml2 »

Shmuel wrote:Иногда разработчикам и пошутить хочется.
В каждой шутке есть доля шутки. Это подтверждается тем, что пока не было ни одного голоса в пользу расширения АПИ.

PS. То, что высказывание "запретить луа" было шуткой, я понял. Но ведь остальное по поводу штопания дыр было на полном серьезе.
Last edited by fml2 on Sun 24 Nov, 2013 21:01, edited 1 time in total.
Max Rusov
Posts: 3651
Joined: Wed 23 Nov, 2005 11:11
Location: Москва-Питер
Has thanked: 2 times
Been thanked: 19 times

Re: Как удалить запись из истории команд?

Post by Max Rusov »

fml2 wrote:пока не было ни одного голоса в пользу расширения АПИ.
Это потому что Вы не привели доводов - зачем это нужно?
fml2
Posts: 534
Joined: Mon 09 Jul, 2012 22:10
Has thanked: 2 times
Been thanked: 8 times

Re: Как удалить запись из истории команд?

Post by fml2 »

Max Rusov wrote:Это потому что Вы не привели доводов - зачем это нужно?
По-моему, это не так. По-моему, это было дело принципа, т.к. иначе просто спросили бы, зачем конкретно это надо. Но на тот случай, если я ошибаюсь: конкретно мне это надо для того, чтобы удалять ненужные записи из макроса, с помощью которого я показываю команды, запущенные из текущего каталога (естественно, с возможностью их запустить). Если там есть команда, которую хотелось бы удалить, то сейчас приходится закрывать диалог, открывать стандартную историю команд Фара, искать там эту запись и удалять. А так бы я это мог делать прямо на месте, что гораздо удобнее.
User avatar
zg
zero-gravity
Posts: 6016
Joined: Tue 15 Mar, 2005 17:36
Location: riga
Been thanked: 185 times
Contact:

Re: Как удалить запись из истории команд?

Post by zg »

fml2 wrote:По-моему, это не так. По-моему, это было дело принципа
почему нет в апи доступа к изменениям настроек обсуждалось много раз. воспользуйтесь поиском и почитайте. специально для вас видимо всем писать всё по сотому разу — лень.
fml2
Posts: 534
Joined: Mon 09 Jul, 2012 22:10
Has thanked: 2 times
Been thanked: 8 times

Re: Как удалить запись из истории команд?

Post by fml2 »

Я нашел одну хотелку на Мантис и одну тему на форуме. В обоих случаях ЗА открытие АПИ выступал некто Acerbic. Ни одного рационального аргумента против его доводов (с которыми я полностью согласен) я не обнаружил.
User avatar
zg
zero-gravity
Posts: 6016
Joined: Tue 15 Mar, 2005 17:36
Location: riga
Been thanked: 185 times
Contact:

Re: Как удалить запись из истории команд?

Post by zg »

и что?
fml2
Posts: 534
Joined: Mon 09 Jul, 2012 22:10
Has thanked: 2 times
Been thanked: 8 times

Re: Как удалить запись из истории команд?

Post by fml2 »

А то, что если рациональных доводов против нет, то можно бы АПИ и расширить. Ну или уж мотивировать отказ расширять просто отсутствием времени (но когда-нибудь ведь оно найдется), а не какими-то идеологическими соображениями (и по ним же отклонять возможные патчи, буде таковые появятся).
Max Rusov
Posts: 3651
Joined: Wed 23 Nov, 2005 11:11
Location: Москва-Питер
Has thanked: 2 times
Been thanked: 19 times

Re: Как удалить запись из истории команд?

Post by Max Rusov »

Непонятно, почему стрелки переведены на настройки, когда речь шла об историях. Возможность удалять записи из истории - вполне нормальное пожелание, хотя лично мне - не надо.
fml2
Posts: 534
Joined: Mon 09 Jul, 2012 22:10
Has thanked: 2 times
Been thanked: 8 times

Re: Как удалить запись из истории команд?

Post by fml2 »

Я понял так, что все это делается через один и тот же механизм. Если это не так и для истории есть что-то специальное, то тем лучше (если это приведет к более скорому предоставлению этой функции). Хотя почему не разрешить плагинам менять настройки (хоть мне лично это и не надо), я все равно не понимаю. Но об этом см. выше.
User avatar
zg
zero-gravity
Posts: 6016
Joined: Tue 15 Mar, 2005 17:36
Location: riga
Been thanked: 185 times
Contact:

Re: Как удалить запись из истории команд?

Post by zg »

fml2 wrote:А то, что если рациональных доводов против нет
то что их нет для вас, не значит, что их нет совсем.
User avatar
HaRT
Moderator
Posts: 10823
Joined: Tue 30 Aug, 2005 17:21
Has thanked: 221 times
Been thanked: 358 times

Re: Как удалить запись из истории команд?

Post by HaRT »

Max Rusov wrote:Возможность удалять записи из истории - вполне нормальное пожелание, хотя лично мне - не надо.
Моя позиция такая же.
Ибо иначе придётся макросить через родное меню истории Фара, и получится большой уродливый костыль.
Фар есть инструмент, а не нянька. © 2009 DrKnS
fml2
Posts: 534
Joined: Mon 09 Jul, 2012 22:10
Has thanked: 2 times
Been thanked: 8 times

Re: Как удалить запись из истории команд?

Post by fml2 »

zg wrote:
fml2 wrote:А то, что если рациональных доводов против нет
то что их нет для вас, не значит, что их нет совсем.
Ваша позиция мне ясна: вы против. Хотя и не говорите конкретно, почему. Но это, наверное, уже и не важно.
User avatar
zg
zero-gravity
Posts: 6016
Joined: Tue 15 Mar, 2005 17:36
Location: riga
Been thanked: 185 times
Contact:

Re: Как удалить запись из истории команд?

Post by zg »

fml2 wrote:Хотя и не говорите конкретно, почему.
это не так.
Post Reply

Return to “Нужна помощь”