reproduce-devel
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[task #15993] Replace 'git' by 'tools' and pull-down menu to the key too


From: Boud Roukema
Subject: [task #15993] Replace 'git' by 'tools' and pull-down menu to the key tools
Date: Tue, 22 Jun 2021 11:03:40 -0400 (EDT)
User-agent: Mozilla/5.0 (X11; Linux x86_64; rv:78.0) Gecko/20100101 Firefox/78.0

URL:
  <https://savannah.nongnu.org/task/?15993>

                 Summary: Replace 'git' by 'tools' and pull-down menu to the
key tools
                 Project: Maneage
            Submitted by: boud
            Submitted on: Tue 22 Jun 2021 03:03:38 PM UTC
         Should Start On: Tue 22 Jun 2021 12:00:00 AM UTC
   Should be Finished on: Tue 22 Jun 2021 12:00:00 AM UTC
                Category: Webpage
                Priority: 5 - Normal
                  Status: None
                 Privacy: Public
        Percent Complete: 0%
             Assigned to: None
             Open/Closed: Open
         Discussion Lock: Any
                  Effort: 0.00

    _______________________________________________________

Details:

Our key tools are:

* shell (bash) 
** grep
** awk
** sed
* make
* git

Replacing the current 'git' link in the top bar by a 'tools' link to a
pull-down menu and then specific subpages would be good.

There are plenty of good existing resources on the web; we should just choose
a few of the best ones (preferably free-licensed content tutorials or info).
The en.Wikipedia entries for all of these are quite likely good both for
understanding and for examples for all seven of these. However, we could
supplement these with Maneage specific examples.






    _______________________________________________________

Reply to this item at:

  <https://savannah.nongnu.org/task/?15993>

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




reply via email to

[Prev in Thread] Current Thread [Next in Thread]