Re: [bug #58444] Improvement of Windows batch file leuncher

[Jeremiah Benham]

I have applied this change.

Jeremiah 

On Mon, May 25, 2020, 11:35 AM anonymous <address@hidden> wrote:

URL:
  <https://savannah.gnu.org/bugs/?58444>

                 Summary: Improvement of Windows batch file leuncher
                 Project: Denemo
            Submitted by: None
            Submitted on: Mon 25 May 2020 04:35:30 PM UTC
                Category: None
                Severity: 3 - Normal
              Item Group: None
                  Status: None
                 Privacy: Public
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any

    _______________________________________________________

Details:

Thank you for a great product.

I have a suggestion for a better user experience. The Windows batch file
launcher Denemo.bat could use an improvement. As it stands the file does not
work in all circumstances. A simple one line insert fixes this.

With the insert the preamble in the file becomes:

@ECHO OFF
cd /D %~dp0

Now it can even be registered to open .denemo files in Explorer.

Regards
;)Frode



    _______________________________________________________

File Attachments:


-------------------------------------------------------
Date: Mon 25 May 2020 04:35:30 PM UTC  Name: Denemo.bat  Size: 260B   By: None

<http://savannah.gnu.org/bugs/download.php?file_id=49167>

    _______________________________________________________

Reply to this item at:

  <https://savannah.gnu.org/bugs/?58444>

_______________________________________________
  Message sent via Savannah
  https://savannah.gnu.org/