3
0
Fork 0
mirror of https://github.com/ZeppelinBot/Zeppelin.git synced 2025-05-21 08:45:03 +00:00

rename option to delete-pins for more clarity

This commit is contained in:
Dark 2020-08-20 17:37:08 +02:00
parent c810c0d7bc
commit 1b19dedee2

View file

@ -61,7 +61,7 @@ export const CleanCmd = utilityCmd({
user: ct.userId({ option: true, shortcut: "u" }), user: ct.userId({ option: true, shortcut: "u" }),
channel: ct.channelId({ option: true, shortcut: "c" }), channel: ct.channelId({ option: true, shortcut: "c" }),
bots: ct.switchOption({ shortcut: "b" }), bots: ct.switchOption({ shortcut: "b" }),
pins: ct.switchOption({ shortcut: "p" }), "delete-pins": ct.switchOption({ shortcut: "p" }),
"has-invites": ct.switchOption({ shortcut: "i" }), "has-invites": ct.switchOption({ shortcut: "i" }),
match: ct.regex({ option: true, shortcut: "m" }), match: ct.regex({ option: true, shortcut: "m" }),
}, },
@ -97,7 +97,7 @@ export const CleanCmd = utilityCmd({
let beforeId = msg.id; let beforeId = msg.id;
const timeCutoff = msg.timestamp - MAX_CLEAN_TIME; const timeCutoff = msg.timestamp - MAX_CLEAN_TIME;
const deletePins = args.pins != null ? args.pins : false; const deletePins = args["delete-pins"] != null ? args["delete-pins"] : false;
let pins = []; let pins = [];
if (!deletePins) { if (!deletePins) {
pins = await msg.channel.getPins(); pins = await msg.channel.getPins();