Modified show.ts so files are named with leading zeros so they're in order in windows file navigation.
Works while there are less than 10,000 problems
#440

Update show.ts

5490159

yihong0618 reviewed

Jun 25, 2020

View reviewed changes

src/commands/show.tsShow resolvedHide resolved

Update show.ts

0c416b4

Copy link

Member

jdneo commentedJun 27, 2020

Thanks@aebopp,

I think we need a setting to turn on/off this feature.

yihong0618 mentioned this pull request

Jul 9, 2020

How to fill zeros before problem id in file name?#595

Open

Copy link

Member

jdneo commentedJul 23, 2020

@aebopp Do you still have the interest to update the PR?

Copy link

Author

aebopp commentedJul 23, 2020 via email

Hi!I’m not exactly sure how to add settings, so I guess not.Thanks for checking in :)

On Thu, Jul 23, 2020 at 4:21 AM Sheng Chen ***@***.***> wrote:@aebopp <https://github.com/aebopp> Do you still have the interest to update the PR? — You are receiving this because you were mentioned. Reply to this email directly, view it on GitHub <#582 (comment)>, or unsubscribe <https://github.com/notifications/unsubscribe-auth/AFQ3PLTHW3XCJFEEL5FIFTTR47XG3ANCNFSM4OH73KGA> .

-- Alexandria BoppUniversity of Michigan | Class of 2020B.S. English, Industrial and Operations Engineeringaebopp@umich.edu | 248-345-6720

Copy link

Member

Instead of hard code the prefix zeros, it will be better to let the user customize it. For example, in the settingleetcode.filePath, we can support something like${id%05d} in the filename. This will provide enough flexibility to the users.