Search Options

Display Count
Sort
Preferred Language
Advanced Search

Results 1 - 2 of 2 for getUserSettingsFile (0.07 seconds)

The search processing time has exceeded the limit. The displayed results may be partial.

  2. github.com/apache/maven

    impl/maven-core/src/main/java/org/apache/maven/execution/DefaultMavenExecutionRequest.java 

            copy.setProfiles(original.getProfiles());
        copy.setPluginGroups(original.getPluginGroups());
        copy.setProjectPresent(original.isProjectPresent());
        copy.setUserSettingsFile(original.getUserSettingsFile());
        copy.setInstallationSettingsFile(original.getInstallationSettingsFile());
        copy.setUserToolchainsFile(original.getUserToolchainsFile());
    Created: Sun Apr 05 03:35:12 GMT 2026
    - Last Modified: Thu Dec 12 11:02:17 GMT 2024
    - 32.1K bytes
    - Click Count (0)
  3. github.com/apache/maven

    impl/maven-core/src/main/java/org/apache/maven/execution/MavenExecutionRequest.java 

        MavenExecutionRequest addPluginGroups(List<String> pluginGroups);

    boolean isProjectPresent();

    MavenExecutionRequest setProjectPresent(boolean isProjectPresent);

    File getUserSettingsFile();

    MavenExecutionRequest setUserSettingsFile(File userSettingsFile);

    File getProjectSettingsFile();

    MavenExecutionRequest setProjectSettingsFile(File projectSettingsFile);
    Created: Sun Apr 05 03:35:12 GMT 2026
    - Last Modified: Thu Dec 12 11:02:17 GMT 2024
    - 18.6K bytes
    - Click Count (0)
Back to Top