Change packages metadata and rename tactics subfolder (#1234)

* Change author, maintainer and copyright

* Rename tactics

* Correct tactics path in default stack.yaml

Author: jneira

cabal.project

@@ -4,7 +4,7 @@ packages:
          ./shake-bench
          ./ghcide
          ./hls-plugin-api
-         ./plugins/tactics
+         ./plugins/hls-tactics-plugin
          ./plugins/hls-class-plugin
          ./plugins/hls-eval-plugin
          ./plugins/hls-explicit-imports-plugin

haskell-language-server.cabal

@@ -8,11 +8,12 @@ description:
 
 homepage:           https://github.com/haskell/haskell-language-server#readme
 bug-reports:        https://github.com/haskell/haskell-language-server/issues
-author:             Alan Zimmerman
+author:             The Haskell IDE Team
 maintainer:         alan.zimm@gmail.com
-copyright:          Alan Zimmerman
+copyright:          The Haskell IDE Team
 license:            Apache-2.0
 license-file:       LICENSE
+category:           Development
 build-type:         Simple
 tested-with:        GHC == 8.6.4 || == 8.6.5 || == 8.8.2 || == 8.8.3 || == 8.8.4 || == 8.10.1 || == 8.10.2 || == 8.10.3
 extra-source-files:
@@ -413,7 +414,7 @@ test-suite func-test
     , tasty-rerun
     , ghcide
 
-  hs-source-dirs:     test/functional plugins/tactics/src plugins/hls-eval-plugin/test plugins/hls-splice-plugin/src
+  hs-source-dirs:     test/functional plugins/hls-tactics-plugin/src plugins/hls-eval-plugin/test plugins/hls-splice-plugin/src
 
   main-is:            Main.hs
   other-modules:

hls-plugin-api/hls-plugin-api.cabal

@@ -8,10 +8,10 @@ homepage:      https://github.com/haskell/haskell-language-server/hls-plugin-api
 bug-reports:   https://github.com/haskell/haskell-language-server/issues
 license:       Apache-2.0
 license-file:  LICENSE
-author:        Many,TBD when we release
-maintainer:    alan.zimm@gmail.com (for now)
-copyright:     Alan Zimmerman
-category:      Web
+author:        The Haskell IDE Team
+maintainer:    alan.zimm@gmail.com
+copyright:     The Haskell IDE Team
+category:      Development
 build-type:    Simple
 
 flag pedantic

nix/default.nix

@@ -27,7 +27,7 @@ let
             hls-hlint-plugin = gitignoreSource ../plugins/hls-hlint-plugin;
             hls-retrie-plugin = gitignoreSource ../plugins/hls-retrie-plugin;
             hls-splice-plugin = gitignoreSource ../plugins/hls-splice-plugin;
-            hls-tactics-plugin = gitignoreSource ../plugins/tactics;
+            hls-tactics-plugin = gitignoreSource ../plugins/hls-tactics-plugin;
           });
         in
         {

plugins/hls-hlint-plugin/hls-hlint-plugin.cabal

@@ -5,10 +5,10 @@ synopsis:      Hlint integration plugin with Haskell Language Server
 description:   Please see Haskell Language Server Readme (https://github.com/haskell/haskell-language-server#readme)
 license:       Apache-2.0
 license-file:  LICENSE
-author:        https://github.com/haskell/haskell-language-server/contributors
-maintainer:    https://github.com/haskell/haskell-language-server/contributors
-copyright:     Alan Zimmerman
-category:      Web
+author:        The Haskell IDE Team
+maintainer:    alan.zimm@gmail.com
+copyright:     The Haskell IDE Team
+category:      Development
 build-type:    Simple
 
 flag pedantic

plugins/tactics/hls-tactics-plugin.cabal renamed to plugins/hls-tactics-plugin/hls-tactics-plugin.cabal

@@ -13,7 +13,7 @@ packages:
 - ./plugins/hls-hlint-plugin
 - ./plugins/hls-retrie-plugin
 - ./plugins/hls-splice-plugin
-- ./plugins/tactics
+- ./plugins/hls-tactics-plugin
 
 ghc-options:
   "$everything": -haddock

plugins/tactics/src/Ide/Plugin/Tactic.hs renamed to plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic.hs

@@ -13,7 +13,7 @@ packages:
   - ./plugins/hls-hlint-plugin
   - ./plugins/hls-retrie-plugin
   - ./plugins/hls-splice-plugin
-  - ./plugins/tactics
+  - ./plugins/hls-tactics-plugin
 
 ghc-options:
   "$everything": -haddock

plugins/tactics/src/Ide/Plugin/Tactic/Auto.hs renamed to plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic/Auto.hs

@@ -13,7 +13,7 @@ packages:
   - ./plugins/hls-hlint-plugin
   - ./plugins/hls-retrie-plugin
   - ./plugins/hls-splice-plugin
-  - ./plugins/tactics
+  - ./plugins/hls-tactics-plugin
 
 ghc-options:
   "$everything": -haddock

plugins/tactics/src/Ide/Plugin/Tactic/CodeGen.hs renamed to plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic/CodeGen.hs

@@ -14,7 +14,7 @@ packages:
   - ./plugins/hls-hlint-plugin
   - ./plugins/hls-retrie-plugin
   - ./plugins/hls-splice-plugin
-  - ./plugins/tactics
+  - ./plugins/hls-tactics-plugin
 
 ghc-options:
   "$everything": -haddock

plugins/tactics/src/Ide/Plugin/Tactic/Context.hs renamed to plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic/Context.hs

@@ -13,7 +13,7 @@ packages:
   - ./plugins/hls-hlint-plugin
   - ./plugins/hls-retrie-plugin
   - ./plugins/hls-splice-plugin
-  - ./plugins/tactics
+  - ./plugins/hls-tactics-plugin
 
 ghc-options:
   "$everything": -haddock

plugins/tactics/src/Ide/Plugin/Tactic/Debug.hs renamed to plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic/Debug.hs

@@ -13,7 +13,7 @@ packages:
   - ./plugins/hls-hlint-plugin
   - ./plugins/hls-retrie-plugin
   - ./plugins/hls-splice-plugin
-  - ./plugins/tactics
+  - ./plugins/hls-tactics-plugin
 
 ghc-options:
   "$everything": -haddock

plugins/tactics/src/Ide/Plugin/Tactic/GHC.hs renamed to plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic/GHC.hs

@@ -13,7 +13,7 @@ packages:
   - ./plugins/hls-hlint-plugin
   - ./plugins/hls-retrie-plugin
   - ./plugins/hls-splice-plugin
-  - ./plugins/tactics
+  - ./plugins/hls-tactics-plugin
 
 ghc-options:
   "$everything": -haddock

plugins/tactics/src/Ide/Plugin/Tactic/Judgements.hs renamed to plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic/Judgements.hs

@@ -13,7 +13,7 @@ packages:
   - ./plugins/hls-hlint-plugin
   - ./plugins/hls-retrie-plugin
   - ./plugins/hls-splice-plugin
-  - ./plugins/tactics
+  - ./plugins/hls-tactics-plugin
 
 ghc-options:
   "$everything": -haddock

plugins/tactics/src/Ide/Plugin/Tactic/KnownStrategies.hs renamed to plugins/hls-tactics-plugin/src/Ide/Plugin/Tactic/KnownStrategies.hs

@@ -13,7 +13,7 @@ packages:
   - ./plugins/hls-hlint-plugin
   - ./plugins/hls-retrie-plugin
   - ./plugins/hls-splice-plugin
-  - ./plugins/tactics
+  - ./plugins/hls-tactics-plugin
 
 ghc-options:
   "$everything": -haddock